---
_id: '2421'
abstract:
- lang: eng
text: Intersection graphs of disks and of line segments, respectively, have been
well studied, because of both, practical applications and theoretically interesting
properties of these graphs. Despite partial results, the complexity status of
the Clique problem for these two graph classes is still open. Here, we consider
the Clique problem for intersection graphs of ellipses which in a sense, interpolate
between disc and ellipses, and show that it is APX-hard in that case. Moreover,
this holds even if for all ellipses, the ratio of the larger over the smaller
radius is some prescribed number. To our knowledge, this is the first hardness
result for the Clique problem in intersection graphs of objects with finite description
complexity. We also describe a simple approximation algorithm for the case of
ellipses for which the ratio of radii is bounded.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Christoph
full_name: Ambühl, Christoph
last_name: Ambühl
- first_name: Uli
full_name: Wagner, Uli
id: 36690CA2-F248-11E8-B48F-1D18A9856A87
last_name: Wagner
orcid: 0000-0002-1494-0568
citation:
ama: 'Ambühl C, Wagner U. On the Clique problem in intersection graphs of ellipses.
In: Proceedings of the 13th International Symposium on Algorithms and Computation.
Vol 2518. Springer; 2002:489-500. doi:10.1007/3-540-36136-7_43'
apa: 'Ambühl, C., & Wagner, U. (2002). On the Clique problem in intersection
graphs of ellipses. In Proceedings of the 13th International Symposium on Algorithms
and Computation (Vol. 2518, pp. 489–500). Vancouver, Canada: Springer. https://doi.org/10.1007/3-540-36136-7_43'
chicago: Ambühl, Christoph, and Uli Wagner. “On the Clique Problem in Intersection
Graphs of Ellipses.” In Proceedings of the 13th International Symposium on
Algorithms and Computation, 2518:489–500. Springer, 2002. https://doi.org/10.1007/3-540-36136-7_43.
ieee: C. Ambühl and U. Wagner, “On the Clique problem in intersection graphs of
ellipses,” in Proceedings of the 13th International Symposium on Algorithms
and Computation, Vancouver, Canada, 2002, vol. 2518, pp. 489–500.
ista: 'Ambühl C, Wagner U. 2002. On the Clique problem in intersection graphs of
ellipses. Proceedings of the 13th International Symposium on Algorithms and Computation.
ISAAC: International Symposium on Algorithms and Computation, LNCS, vol. 2518,
489–500.'
mla: Ambühl, Christoph, and Uli Wagner. “On the Clique Problem in Intersection Graphs
of Ellipses.” Proceedings of the 13th International Symposium on Algorithms
and Computation, vol. 2518, Springer, 2002, pp. 489–500, doi:10.1007/3-540-36136-7_43.
short: C. Ambühl, U. Wagner, in:, Proceedings of the 13th International Symposium
on Algorithms and Computation, Springer, 2002, pp. 489–500.
conference:
end_date: 2002-11-23
location: Vancouver, Canada
name: 'ISAAC: International Symposium on Algorithms and Computation'
start_date: 2002-11-21
date_created: 2018-12-11T11:57:34Z
date_published: 2002-01-01T00:00:00Z
date_updated: 2023-07-25T11:48:36Z
day: '01'
doi: 10.1007/3-540-36136-7_43
extern: '1'
intvolume: ' 2518'
language:
- iso: eng
month: '01'
oa_version: None
page: 489 - 500
publication: Proceedings of the 13th International Symposium on Algorithms and Computation
publication_identifier:
isbn:
- '9783540001423'
publication_status: published
publisher: Springer
publist_id: '4504'
quality_controlled: '1'
scopus_import: '1'
status: public
title: On the Clique problem in intersection graphs of ellipses
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 2518
year: '2002'
...
---
_id: '4562'
abstract:
- lang: eng
text: We present interface models that describe both the input assumptions of a
component, and its output behavior. By enabling us to check that the input assumptions
of a component are met in a design, interface models provide a compatibility check
for component-based design. When refining a design into an implementation, interface
models require that the output behavior of a component satisfies the design specification
only when the input assumptions of the specification are satisfied, yielding greater
flexibility in the choice of implementations. Technically, our interface models
are games between two players, Input and Output; the duality of the players accounts
for the dual roles of inputs and outputs in composition and refinement. We present
two interface models in detail, one for a simple synchronous form of interaction
between components typical in hardware, and the other for more complex synchronous
interactions on bidirectional connections. As an example, we specify the interface
of a bidirectional bus, with the input assumption that at any time at most one
component has write access to the bus. For these interface models, we present
algorithms for compatibility and refinement checking, and we describe efficient
symbolic implementations.
acknowledgement: This research was supported in part by the AFOSR grant F49620-00-1-0327,
the DARPA grant F33615-00-C-1693, the MARCO grant 98-DT-660, the NSF grant CCR-9988172,
the SRC grant 99-TJ-683.003, and the NSF CAREER award CCR-0132780.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Arindam
full_name: Chakrabarti, Arindam
last_name: Chakrabarti
- first_name: Luca
full_name: De Alfaro, Luca
last_name: De Alfaro
- 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: Freddy
full_name: Mang, Freddy
last_name: Mang
citation:
ama: 'Chakrabarti A, De Alfaro L, Henzinger TA, Mang F. Synchronous and bidirectional
component interfaces. In: Proceedings of the 14th International Conference
on Computer Aided Verification. Vol 2404. Springer; 2002:414-427. doi:10.1007/3-540-45657-0_34'
apa: 'Chakrabarti, A., De Alfaro, L., Henzinger, T. A., & Mang, F. (2002). Synchronous
and bidirectional component interfaces. In Proceedings of the 14th International
Conference on Computer Aided Verification (Vol. 2404, pp. 414–427). Copenhagen,
Denmark: Springer. https://doi.org/10.1007/3-540-45657-0_34'
chicago: Chakrabarti, Arindam, Luca De Alfaro, Thomas A Henzinger, and Freddy Mang.
“Synchronous and Bidirectional Component Interfaces.” In Proceedings of the
14th International Conference on Computer Aided Verification, 2404:414–27.
Springer, 2002. https://doi.org/10.1007/3-540-45657-0_34.
ieee: A. Chakrabarti, L. De Alfaro, T. A. Henzinger, and F. Mang, “Synchronous and
bidirectional component interfaces,” in Proceedings of the 14th International
Conference on Computer Aided Verification, Copenhagen, Denmark, 2002, vol.
2404, pp. 414–427.
ista: 'Chakrabarti A, De Alfaro L, Henzinger TA, Mang F. 2002. Synchronous and bidirectional
component interfaces. Proceedings of the 14th International Conference on Computer
Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 2404, 414–427.'
mla: Chakrabarti, Arindam, et al. “Synchronous and Bidirectional Component Interfaces.”
Proceedings of the 14th International Conference on Computer Aided Verification,
vol. 2404, Springer, 2002, pp. 414–27, doi:10.1007/3-540-45657-0_34.
short: A. Chakrabarti, L. De Alfaro, T.A. Henzinger, F. Mang, in:, Proceedings of
the 14th International Conference on Computer Aided Verification, Springer, 2002,
pp. 414–427.
conference:
end_date: 2002-07-31
location: Copenhagen, Denmark
name: 'CAV: Computer Aided Verification'
start_date: 2002-07-27
date_created: 2018-12-11T12:09:29Z
date_published: 2002-06-19T00:00:00Z
date_updated: 2023-06-02T12:01:22Z
day: '19'
doi: 10.1007/3-540-45657-0_34
extern: '1'
intvolume: ' 2404'
language:
- iso: eng
month: '06'
oa_version: None
page: 414 - 427
publication: Proceedings of the 14th International Conference on Computer Aided Verification
publication_identifier:
isbn:
- '9783540439974'
publication_status: published
publisher: Springer
publist_id: '146'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Synchronous and bidirectional component interfaces
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 2404
year: '2002'
...
---
_id: '4563'
abstract:
- lang: eng
text: We present a formal methodology and tool for uncovering errors in the interaction
of software modules. Our methodology consists of a suite of languages for defining
software interfaces, and algorithms for checking interface compatibility. We focus
on interfaces that explain the method-call dependencies between software modules.
Such an interface makes assumptions about the environment in the form of call
and availability constraints. A call constraint restricts the accessibility of
local methods to certain external methods. An availability constraint restricts
the accessibility of local methods to certain states of the module. For example,
the interface for a file server with local methods open and read may assert that
a file cannot be read without having been opened. Checking interface compatibility
requires the solution of games, and in the presence of availability constraints,
of pushdown games. Based on this methodology, we have implemented a tool that
has uncovered incompatibilities in TinyOS, a small operating system for sensor
nodes in adhoc networks.
acknowledgement: This research was supported in part by the AFOSR grant F49620-00-1-0327,
the DARPA grant F33615-00-C-1693, the MARCO grant 98-DT-660, the NSF grants CCR-9988172,
CCR-0085949, CCR-0132780, the SRC grant 99-TJ-683, and the Polish KBN grant 7-T11C-027-20.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Arindam
full_name: Chakrabarti, Arindam
last_name: Chakrabarti
- first_name: Luca
full_name: De Alfaro, Luca
last_name: De Alfaro
- 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: Marcin
full_name: Jurdziński, Marcin
last_name: Jurdziński
- first_name: Freddy
full_name: Mang, Freddy
last_name: Mang
citation:
ama: 'Chakrabarti A, De Alfaro L, Henzinger TA, Jurdziński M, Mang F. Interface
compatibility checking for software modules. In: Proceedings of the 14th International
Conference on Computer Aided Verification. Vol 2404. Springer; 2002:428-441.
doi:10.1007/3-540-45657-0_35'
apa: 'Chakrabarti, A., De Alfaro, L., Henzinger, T. A., Jurdziński, M., & Mang,
F. (2002). Interface compatibility checking for software modules. In Proceedings
of the 14th International Conference on Computer Aided Verification (Vol.
2404, pp. 428–441). Copenhagen, Denmark: Springer. https://doi.org/10.1007/3-540-45657-0_35'
chicago: Chakrabarti, Arindam, Luca De Alfaro, Thomas A Henzinger, Marcin Jurdziński,
and Freddy Mang. “Interface Compatibility Checking for Software Modules.” In Proceedings
of the 14th International Conference on Computer Aided Verification, 2404:428–41.
Springer, 2002. https://doi.org/10.1007/3-540-45657-0_35.
ieee: A. Chakrabarti, L. De Alfaro, T. A. Henzinger, M. Jurdziński, and F. Mang,
“Interface compatibility checking for software modules,” in Proceedings of
the 14th International Conference on Computer Aided Verification, Copenhagen,
Denmark, 2002, vol. 2404, pp. 428–441.
ista: 'Chakrabarti A, De Alfaro L, Henzinger TA, Jurdziński M, Mang F. 2002. Interface
compatibility checking for software modules. Proceedings of the 14th International
Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS,
vol. 2404, 428–441.'
mla: Chakrabarti, Arindam, et al. “Interface Compatibility Checking for Software
Modules.” Proceedings of the 14th International Conference on Computer Aided
Verification, vol. 2404, Springer, 2002, pp. 428–41, doi:10.1007/3-540-45657-0_35.
short: A. Chakrabarti, L. De Alfaro, T.A. Henzinger, M. Jurdziński, F. Mang, in:,
Proceedings of the 14th International Conference on Computer Aided Verification,
Springer, 2002, pp. 428–441.
conference:
end_date: 2002-07-31
location: Copenhagen, Denmark
name: 'CAV: Computer Aided Verification'
start_date: 2002-07-27
date_created: 2018-12-11T12:09:30Z
date_published: 2002-06-19T00:00:00Z
date_updated: 2023-06-05T07:38:10Z
day: '19'
doi: 10.1007/3-540-45657-0_35
extern: '1'
intvolume: ' 2404'
language:
- iso: eng
month: '06'
oa_version: None
page: 428 - 441
publication: Proceedings of the 14th International Conference on Computer Aided Verification
publication_identifier:
isbn:
- ' 9783540439974'
publication_status: published
publisher: Springer
publist_id: '147'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Interface compatibility checking for software modules
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 2404
year: '2002'
...
---
_id: '4565'
abstract:
- lang: eng
text: "In the literature, we find several formulations of the control\r\nproblem
for timed and hybrid systems. We argue that formulations where\r\na controller
can cause an action at any point in dense (rational or real)\r\ntime are problematic,
by presenting an example where the controller\r\nmust act faster and faster, yet
causes no Zeno effects (say, the control\r\nactions are at times 0, 1/2, 1, 1
1/4, 2, 2 1/8, 3, 3 1/16 ,...). Such a controller is,\r\nof course, not implementable
in software. Such controllers are avoided by formulations where the controller
can cause actions only at discrete (integer) points in time. While the resulting
control problem is well- understood if the time unit, or “sampling rate” of the
controller, is fixed a priori, we define a novel, stronger formulation: the discrete-time
control problem with unknown sampling rate asks if a sampling controller exists
for some sampling rate. We prove that this problem is undecidable even in the
special case of timed automata."
acknowledgement: "Partially supported by the FNRS, Belgium, under grant 1.5.096.01.\r\nPartially
supported by the DARPA SEC grant F33615-C-98-3614, the AFOSR MURI grant F49620-00-1-0327,
the NSF Theory grant CCR-9988172, and the MARCO GSRC grant 98-DT-660.\r\nPartially
supported by a “Crédit aux chercheurs” from the Belgian National Fund for Scientific
Research."
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Franck
full_name: Cassez, Franck
last_name: Cassez
- 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: Jean
full_name: Raskin, Jean
last_name: Raskin
citation:
ama: 'Cassez F, Henzinger TA, Raskin J. A comparison of control problems for timed
and hybrid systems. In: Proceedings of the 5th International Workshop on Hybrid
Systems: Computation and Control. Vol 2289. Springer; 2002:134-148. doi:10.1007/3-540-45873-5_13'
apa: 'Cassez, F., Henzinger, T. A., & Raskin, J. (2002). A comparison of control
problems for timed and hybrid systems. In Proceedings of the 5th International
Workshop on Hybrid Systems: Computation and Control (Vol. 2289, pp. 134–148).
Stanford, CA, USA: Springer. https://doi.org/10.1007/3-540-45873-5_13'
chicago: 'Cassez, Franck, Thomas A Henzinger, and Jean Raskin. “A Comparison of
Control Problems for Timed and Hybrid Systems.” In Proceedings of the 5th International
Workshop on Hybrid Systems: Computation and Control, 2289:134–48. Springer,
2002. https://doi.org/10.1007/3-540-45873-5_13.'
ieee: 'F. Cassez, T. A. Henzinger, and J. Raskin, “A comparison of control problems
for timed and hybrid systems,” in Proceedings of the 5th International Workshop
on Hybrid Systems: Computation and Control, Stanford, CA, USA, 2002, vol.
2289, pp. 134–148.'
ista: 'Cassez F, Henzinger TA, Raskin J. 2002. A comparison of control problems
for timed and hybrid systems. Proceedings of the 5th International Workshop on
Hybrid Systems: Computation and Control. HSCC: Hybrid Systems - Computation and
Control, LNCS, vol. 2289, 134–148.'
mla: 'Cassez, Franck, et al. “A Comparison of Control Problems for Timed and Hybrid
Systems.” Proceedings of the 5th International Workshop on Hybrid Systems:
Computation and Control, vol. 2289, Springer, 2002, pp. 134–48, doi:10.1007/3-540-45873-5_13.'
short: 'F. Cassez, T.A. Henzinger, J. Raskin, in:, Proceedings of the 5th International
Workshop on Hybrid Systems: Computation and Control, Springer, 2002, pp. 134–148.'
conference:
end_date: 2002-03-27
location: Stanford, CA, USA
name: 'HSCC: Hybrid Systems - Computation and Control'
start_date: 2002-03-25
date_created: 2018-12-11T12:09:30Z
date_published: 2002-03-14T00:00:00Z
date_updated: 2023-06-02T10:29:10Z
day: '14'
doi: 10.1007/3-540-45873-5_13
extern: '1'
intvolume: ' 2289'
language:
- iso: eng
month: '03'
oa_version: None
page: 134 - 148
publication: 'Proceedings of the 5th International Workshop on Hybrid Systems: Computation
and Control'
publication_identifier:
isbn:
- '9783540433217'
publication_status: published
publisher: Springer
publist_id: '144'
quality_controlled: '1'
scopus_import: '1'
status: public
title: A comparison of control problems for timed and hybrid systems
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 2289
year: '2002'
...
---
_id: '4595'
abstract:
- lang: eng
text: 'Temporal logic comes in two varieties: linear-time temporal logic assumes
implicit universal quantification over all paths that are generated by the execution
of a system; branching-time temporal logic allows explicit existential and universal
quantification over all paths. We introduce a third, more general variety of temporal
logic: alternating-time temporal logic offers selective quantification over those
paths that are possible outcomes of games, such as the game in which the system
and the environment alternate moves. While linear-time and branching-time logics
are natural specification languages for closed systems, alternating-time logics
are natural specification languages for open systems. For example, by preceding
the temporal operator "eventually" with a selective path quantifier,
we can specify that in the game between the system and the environment, the system
has a strategy to reach a certain state. The problems of receptiveness, realizability,
and controllability can be formulated as model-checking problems for alternating-time
formulas. Depending on whether or not we admit arbitrary nesting of selective
path quantifiers and temporal operators, we obtain the two alternating-time temporal
logics ATL and ATL*.ATL and ATL* are interpreted over concurrent game structures.
Every state transition of a concurrent game structure results from a choice of
moves, one for each player. The players represent individual components and the
environment of an open system. Concurrent game structures can capture various
forms of synchronous composition for open systems, and if augmented with fairness
constraints, also asynchronous composition. Over structures without fairness constraints,
the model-checking complexity of ATL is linear in the size of the game structure
and length of the formula, and the symbolic model-checking algorithm for CTL extends
with few modifications to ATL. Over structures with weak-fairness constraints,
ATL model checking requires the solution of 1-pair Rabin games, and can be done
in polynomial time. Over structures with strong-fairness constraints, ATL model
checking requires the solution of games with Boolean combinations of Büchi conditions,
and can be done in PSPACE. In the case of ATL*, the model-checking problem is
closely related to the synthesis problem for linear-time formulas, and requires
doubly exponential time.'
acknowledgement: We thank Luca de Alfaro, Kousha Etessami, Salvatore La Torre, P.
Madhusudan, Amir Pnueli, Moshe Vardi, Thomas Wilke, and Mihalis Yannakakis for helpful
discussions. We also thank Freddy Mang for comments on a draft of this manuscript.
article_processing_charge: No
article_type: original
author:
- first_name: Rajeev
full_name: Alur, Rajeev
last_name: Alur
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
- first_name: Orna
full_name: Kupferman, Orna
last_name: Kupferman
citation:
ama: Alur R, Henzinger TA, Kupferman O. Alternating-time temporal logic. Journal
of the ACM. 2002;49(5):672-713. doi:10.1145/585265.585270
apa: Alur, R., Henzinger, T. A., & Kupferman, O. (2002). Alternating-time temporal
logic. Journal of the ACM. ACM. https://doi.org/10.1145/585265.585270
chicago: Alur, Rajeev, Thomas A Henzinger, and Orna Kupferman. “Alternating-Time
Temporal Logic.” Journal of the ACM. ACM, 2002. https://doi.org/10.1145/585265.585270.
ieee: R. Alur, T. A. Henzinger, and O. Kupferman, “Alternating-time temporal logic,”
Journal of the ACM, vol. 49, no. 5. ACM, pp. 672–713, 2002.
ista: Alur R, Henzinger TA, Kupferman O. 2002. Alternating-time temporal logic.
Journal of the ACM. 49(5), 672–713.
mla: Alur, Rajeev, et al. “Alternating-Time Temporal Logic.” Journal of the ACM,
vol. 49, no. 5, ACM, 2002, pp. 672–713, doi:10.1145/585265.585270.
short: R. Alur, T.A. Henzinger, O. Kupferman, Journal of the ACM 49 (2002) 672–713.
date_created: 2018-12-11T12:09:40Z
date_published: 2002-09-01T00:00:00Z
date_updated: 2023-06-02T10:07:22Z
day: '01'
doi: 10.1145/585265.585270
extern: '1'
intvolume: ' 49'
issue: '5'
language:
- iso: eng
month: '09'
oa_version: None
page: 672 - 713
publication: Journal of the ACM
publication_identifier:
issn:
- 0004-5411
publication_status: published
publisher: ACM
publist_id: '110'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Alternating-time temporal logic
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 49
year: '2002'
...
---
_id: '4631'
abstract:
- lang: eng
text: We present a theory of timed interfaces, which is capable of specifying both
the timing of the inputs a component expects from the environment, and the timing
of the outputs it can produce. Two timed interfaces are compatible if there is
a way to use them together such that their timing expectations are met. Our theory
provides algorithms for checking the compatibility between two interfaces and
for deriving the composite interface; the theory can thus be viewed as a type
system for real-time interaction. Technically, a timed interface is encoded as
a timed game between two players, representing the inputs and outputs of the component.
The algorithms for compatibility checking and interface composition are thus derived
from algorithms for solving timed games.
acknowledgement: This research was supported in part by the NSF CAREER award CCR-0132780,
the NSF grant CCR-9988172 the AFOSR MURI grant F49620-00-1-0327, the DARPA PCES
grant F33615-00-C-1693, the MARCO GSRC grant 98-DT-660, and the ONR grant N00014-02-1-0671.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Luca
full_name: De Alfaro, Luca
last_name: De Alfaro
- 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: Mariëlle
full_name: Stoelinga, Mariëlle
last_name: Stoelinga
citation:
ama: 'De Alfaro L, Henzinger TA, Stoelinga M. Timed interfaces. In: Proceedings
of the 2nd International Conference on Embedded Software. Vol 2491. ACM; 2002:108-122.
doi:10.1007/3-540-45828-X_9'
apa: 'De Alfaro, L., Henzinger, T. A., & Stoelinga, M. (2002). Timed interfaces.
In Proceedings of the 2nd International Conference on Embedded Software
(Vol. 2491, pp. 108–122). Grenoble, France: ACM. https://doi.org/10.1007/3-540-45828-X_9'
chicago: De Alfaro, Luca, Thomas A Henzinger, and Mariëlle Stoelinga. “Timed Interfaces.”
In Proceedings of the 2nd International Conference on Embedded Software,
2491:108–22. ACM, 2002. https://doi.org/10.1007/3-540-45828-X_9.
ieee: L. De Alfaro, T. A. Henzinger, and M. Stoelinga, “Timed interfaces,” in Proceedings
of the 2nd International Conference on Embedded Software, Grenoble, France,
2002, vol. 2491, pp. 108–122.
ista: 'De Alfaro L, Henzinger TA, Stoelinga M. 2002. Timed interfaces. Proceedings
of the 2nd International Conference on Embedded Software. EMSOFT: Embedded Software
, LNCS, vol. 2491, 108–122.'
mla: De Alfaro, Luca, et al. “Timed Interfaces.” Proceedings of the 2nd International
Conference on Embedded Software, vol. 2491, ACM, 2002, pp. 108–22, doi:10.1007/3-540-45828-X_9.
short: L. De Alfaro, T.A. Henzinger, M. Stoelinga, in:, Proceedings of the 2nd International
Conference on Embedded Software, ACM, 2002, pp. 108–122.
conference:
end_date: 2002-10-09
location: Grenoble, France
name: 'EMSOFT: Embedded Software '
start_date: 2002-10-07
date_created: 2018-12-11T12:09:51Z
date_published: 2002-10-24T00:00:00Z
date_updated: 2023-06-02T10:00:32Z
day: '24'
doi: 10.1007/3-540-45828-X_9
extern: '1'
intvolume: ' 2491'
language:
- iso: eng
month: '10'
oa_version: None
page: 108 - 122
publication: Proceedings of the 2nd International Conference on Embedded Software
publication_identifier:
isbn:
- '9783540443070'
publication_status: published
publisher: ACM
publist_id: '76'
quality_controlled: '1'
status: public
title: Timed interfaces
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 2491
year: '2002'
...
---
_id: '6158'
abstract:
- lang: eng
text: Wild isolates of Caenorhabditis elegans can feed either alone or in groups1,2.
This natural variation in behaviour is associated with a single residue difference
in NPR-1, a predicted G-protein-coupled neuropeptide receptor related to Neuropeptide
Y receptors2. Here we show that the NPR-1 isoform associated with solitary feeding
acts in neurons exposed to the body fluid to inhibit social feeding. Furthermore,
suppressing the activity of these neurons, called AQR, PQR and URX, using an activated
K+ channel, inhibits social feeding. NPR-1 activity in AQR, PQR and URX neurons
seems to suppress social feeding by antagonizing signalling through a cyclic GMP-gated
ion channel encoded by tax-2 and tax-4. We show that mutations in tax-2 or tax-4
disrupt social feeding, and that tax-4 is required in several neurons for social
feeding, including one or more of AQR, PQR and URX. The AQR, PQR and URX neurons
are unusual in C. elegans because they are directly exposed to the pseudocoelomic
body fluid3. Our data suggest a model in which these neurons integrate antagonistic
signals to control the choice between social and solitary feeding behaviour.
author:
- first_name: Juliet C.
full_name: Coates, Juliet C.
last_name: Coates
- first_name: Mario
full_name: de Bono, Mario
id: 4E3FF80E-F248-11E8-B48F-1D18A9856A87
last_name: de Bono
orcid: 0000-0001-8347-0443
citation:
ama: Coates JC, de Bono M. Antagonistic pathways in neurons exposed to body fluid
regulate social feeding in Caenorhabditis elegans. Nature. 2002;419(6910):925-929.
doi:10.1038/nature01170
apa: Coates, J. C., & de Bono, M. (2002). Antagonistic pathways in neurons exposed
to body fluid regulate social feeding in Caenorhabditis elegans. Nature.
Springer Nature. https://doi.org/10.1038/nature01170
chicago: Coates, Juliet C., and Mario de Bono. “Antagonistic Pathways in Neurons
Exposed to Body Fluid Regulate Social Feeding in Caenorhabditis Elegans.” Nature.
Springer Nature, 2002. https://doi.org/10.1038/nature01170.
ieee: J. C. Coates and M. de Bono, “Antagonistic pathways in neurons exposed to
body fluid regulate social feeding in Caenorhabditis elegans,” Nature,
vol. 419, no. 6910. Springer Nature, pp. 925–929, 2002.
ista: Coates JC, de Bono M. 2002. Antagonistic pathways in neurons exposed to body
fluid regulate social feeding in Caenorhabditis elegans. Nature. 419(6910), 925–929.
mla: Coates, Juliet C., and Mario de Bono. “Antagonistic Pathways in Neurons Exposed
to Body Fluid Regulate Social Feeding in Caenorhabditis Elegans.” Nature,
vol. 419, no. 6910, Springer Nature, 2002, pp. 925–29, doi:10.1038/nature01170.
short: J.C. Coates, M. de Bono, Nature 419 (2002) 925–929.
date_created: 2019-03-21T10:09:20Z
date_published: 2002-10-31T00:00:00Z
date_updated: 2021-01-12T08:06:26Z
day: '31'
doi: 10.1038/nature01170
extern: '1'
external_id:
pmid:
- '12410311'
intvolume: ' 419'
issue: '6910'
language:
- iso: eng
month: '10'
oa_version: None
page: 925-929
pmid: 1
publication: Nature
publication_identifier:
issn:
- 0028-0836
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
status: public
title: Antagonistic pathways in neurons exposed to body fluid regulate social feeding
in Caenorhabditis elegans
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 419
year: '2002'
...
---
_id: '6159'
abstract:
- lang: eng
text: 'Natural Caenorhabditis elegans isolates exhibit either social or solitary
feeding on bacteria. We show here that social feeding is induced by nociceptive
neurons that detect adverse or stressful conditions. Ablation of the nociceptive
neurons ASH and ADL transforms social animals into solitary feeders. Social feeding
is probably due to the sensation of noxious chemicals by ASH and ADL neurons;
it requires the genes ocr-2 and osm-9, which encode TRP-related transduction channels,
and odr-4 and odr-8, which are required to localize sensory chemoreceptors to
cilia. Other sensory neurons may suppress social feeding, as social feeding in
ocr-2 and odr-4 mutants is restored by mutations in osm-3, a gene required for
the development of 26 ciliated sensory neurons. Our data suggest a model for regulation
of social feeding by opposing sensory inputs: aversive inputs to nociceptive neurons
promote social feeding, whereas antagonistic inputs from neurons that express
osm-3 inhibit aggregation.'
author:
- first_name: Mario
full_name: de Bono, Mario
id: 4E3FF80E-F248-11E8-B48F-1D18A9856A87
last_name: de Bono
orcid: 0000-0001-8347-0443
- first_name: David M.
full_name: Tobin, David M.
last_name: Tobin
- first_name: M. Wayne
full_name: Davis, M. Wayne
last_name: Davis
- first_name: Leon
full_name: Avery, Leon
last_name: Avery
- first_name: Cornelia I.
full_name: Bargmann, Cornelia I.
last_name: Bargmann
citation:
ama: de Bono M, Tobin DM, Davis MW, Avery L, Bargmann CI. Social feeding in Caenorhabditis
elegans is induced by neurons that detect aversive stimuli. Nature. 2002;419(6910):899-903.
doi:10.1038/nature01169
apa: de Bono, M., Tobin, D. M., Davis, M. W., Avery, L., & Bargmann, C. I. (2002).
Social feeding in Caenorhabditis elegans is induced by neurons that detect aversive
stimuli. Nature. Springer Nature. https://doi.org/10.1038/nature01169
chicago: Bono, Mario de, David M. Tobin, M. Wayne Davis, Leon Avery, and Cornelia
I. Bargmann. “Social Feeding in Caenorhabditis Elegans Is Induced by Neurons That
Detect Aversive Stimuli.” Nature. Springer Nature, 2002. https://doi.org/10.1038/nature01169.
ieee: M. de Bono, D. M. Tobin, M. W. Davis, L. Avery, and C. I. Bargmann, “Social
feeding in Caenorhabditis elegans is induced by neurons that detect aversive stimuli,”
Nature, vol. 419, no. 6910. Springer Nature, pp. 899–903, 2002.
ista: de Bono M, Tobin DM, Davis MW, Avery L, Bargmann CI. 2002. Social feeding
in Caenorhabditis elegans is induced by neurons that detect aversive stimuli.
Nature. 419(6910), 899–903.
mla: de Bono, Mario, et al. “Social Feeding in Caenorhabditis Elegans Is Induced
by Neurons That Detect Aversive Stimuli.” Nature, vol. 419, no. 6910, Springer
Nature, 2002, pp. 899–903, doi:10.1038/nature01169.
short: M. de Bono, D.M. Tobin, M.W. Davis, L. Avery, C.I. Bargmann, Nature 419 (2002)
899–903.
date_created: 2019-03-21T10:27:04Z
date_published: 2002-10-31T00:00:00Z
date_updated: 2021-01-12T08:06:27Z
day: '31'
doi: 10.1038/nature01169
extern: '1'
external_id:
pmid:
- '12410303'
intvolume: ' 419'
issue: '6910'
language:
- iso: eng
month: '10'
oa_version: None
page: 899-903
pmid: 1
publication: Nature
publication_identifier:
issn:
- 0028-0836
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
status: public
title: Social feeding in Caenorhabditis elegans is induced by neurons that detect
aversive stimuli
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 419
year: '2002'
...
---
_id: '1451'
abstract:
- lang: eng
text: Extending work of Bielawski-Dancer 3 and Konno 14, we develop a theory of
toric hyperkähler varieties, which involves toric geometry, matroid theory and
convex polyhedra. The framework is a detailed study of semi-projective toric varieties,
meaning GIT quotients of affine spaces by torus actions, and specifically, of
Lawrence toric varieties, meaning GIT quotients of even-dimensional affine spaces
by symplectic torus actions. A toric hyperkähler variety is a complete intersection
in a Lawrence toric variety. Both varieties are non-compact, and they share the
same cohomology ring, namely, the Stanley-Reisner ring of a matroid modulo a linear
system of parameters. Familiar applications of toric geometry to combinatorics,
including the Hard Lefschetz Theorem and the volume polynomials of Khovanskii-Pukhlikov
11, are extended to the hyperkähler setting. When the matroid is graphic, our
construction gives the toric quiver varieties, in the sense of Nakajima 17.
acknowledgement: "Both authors were supported by the Miller Institute for Basic Research
in Science, in the form of a Miller Research Fellowship (1999-2002) for the first
author and a Miller Professorship (2000-2001) for the second author. The second
author was also supported by the National Science\r\nFoundation (DMS-9970254)."
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Tamas
full_name: Hausel, Tamas
id: 4A0666D8-F248-11E8-B48F-1D18A9856A87
last_name: Hausel
- first_name: Bernd
full_name: Sturmfels, Bernd
last_name: Sturmfels
citation:
ama: Hausel T, Sturmfels B. Toric hyperkähler varieties. Documenta Mathematica.
2002;7(1):495-534. doi:10.4171/DM/130
apa: Hausel, T., & Sturmfels, B. (2002). Toric hyperkähler varieties. Documenta
Mathematica. Deutsche Mathematiker Vereinigung. https://doi.org/10.4171/DM/130
chicago: Hausel, Tamás, and Bernd Sturmfels. “Toric Hyperkähler Varieties.” Documenta
Mathematica. Deutsche Mathematiker Vereinigung, 2002. https://doi.org/10.4171/DM/130.
ieee: T. Hausel and B. Sturmfels, “Toric hyperkähler varieties,” Documenta Mathematica,
vol. 7, no. 1. Deutsche Mathematiker Vereinigung, pp. 495–534, 2002.
ista: Hausel T, Sturmfels B. 2002. Toric hyperkähler varieties. Documenta Mathematica.
7(1), 495–534.
mla: Hausel, Tamás, and Bernd Sturmfels. “Toric Hyperkähler Varieties.” Documenta
Mathematica, vol. 7, no. 1, Deutsche Mathematiker Vereinigung, 2002, pp. 495–534,
doi:10.4171/DM/130.
short: T. Hausel, B. Sturmfels, Documenta Mathematica 7 (2002) 495–534.
date_created: 2018-12-11T11:52:06Z
date_published: 2002-01-01T00:00:00Z
date_updated: 2023-07-26T09:16:33Z
day: '01'
doi: 10.4171/DM/130
extern: '1'
external_id:
arxiv:
- math/0203096
intvolume: ' 7'
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://ems.press/journals/dm/articles/8965058
month: '01'
oa: 1
oa_version: Published Version
page: 495 - 534
publication: Documenta Mathematica
publication_identifier:
issn:
- 1431-0635
publication_status: published
publisher: Deutsche Mathematiker Vereinigung
publist_id: '5741'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Toric hyperkähler varieties
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 7
year: '2002'
...
---
_id: '13438'
abstract:
- lang: eng
text: ICln is an ion channel identified by expression cloning using a cDNA library
from Madin-Darby canine kidney cells. In all organisms tested so far, only one
transcript for the ICln protein could be identified. Here we show that two splice
variants of the ICln ion channel can be found in Caenorhabditis elegans. Moreover,
we show that these two splice variants of the ICln channel protein, which we termed
IClnN1 and IClnN2, can be functionally reconstituted and tested in an artificial
lipid bilayer. In these experiments, the IClnN1-induced currents showed no voltage-dependent
inactivation, whereas the IClnN2-induced currents fully inactivated at positive
potentials. The molecular entity responsible for the voltage-dependent inactivation
of IClnN2 is a cluster of positively charged amino acids encoded by exon 2a, which
is absent in IClnN1. Our experiments suggest a mechanism of channel inactivation
that is similar to the “ball and chain” model proposed for the Shaker potassium
channel,i.e. a cluster of positively charged amino acids hinders ion permeation
through the channel by a molecular and voltage-dependent interaction at the inner
vestibulum of the pore. This hypothesis is supported by the finding that synthetic
peptides with the same amino acid sequence as the positive cluster can transform
the IClnN1-induced current to the current observed after reconstitution of IClnN2.
Furthermore, we show that the nematode ICln gene is embedded in an operon harboring
two additional genes, which we termed Nx and Ny. Co-reconstitution of Nx and IClnN2
and functional analysis of the related currents revealed a functional interaction
between the two proteins, as evidenced by the fact that the IClnN2-induced current
in the presence of Nx was no longer voltage-sensitive. The experiments described
indicate that the genome organization in nematodes allows an effective approach
for the identification of functional partner proteins of ion channels.
acknowledgement: We are grateful to D. E. Clapham, E. Wöll, G. Meyer, and G. Botta
for helpful discussion and/or reading of the manuscript. We also thank T. Stiernagle
for providing the N2 strain of C. elegans and A. Wimmer and M. Frick for technical
assistance
article_processing_charge: No
article_type: original
author:
- first_name: Johannes
full_name: Fürst, Johannes
last_name: Fürst
- first_name: Markus
full_name: Ritter, Markus
last_name: Ritter
- first_name: Jakob
full_name: Rudzki, Jakob
last_name: Rudzki
- first_name: Johann G
full_name: Danzl, Johann G
id: 42EFD3B6-F248-11E8-B48F-1D18A9856A87
last_name: Danzl
orcid: 0000-0001-8559-3973
- first_name: Martin
full_name: Gschwentner, Martin
last_name: Gschwentner
- first_name: Elke
full_name: Scandella, Elke
last_name: Scandella
- first_name: Martin
full_name: Jakab, Martin
last_name: Jakab
- first_name: Matthias
full_name: König, Matthias
last_name: König
- first_name: Bernhard
full_name: Oehl, Bernhard
last_name: Oehl
- first_name: Florian
full_name: Lang, Florian
last_name: Lang
- first_name: Peter
full_name: Deetjen, Peter
last_name: Deetjen
- first_name: Markus
full_name: Paulmichl, Markus
last_name: Paulmichl
citation:
ama: Fürst J, Ritter M, Rudzki J, et al. ICln Ion channel splice variants in Caenorhabditis
elegans. Journal of Biological Chemistry. 2002;277(6):4435-4445. doi:10.1074/jbc.m107372200
apa: Fürst, J., Ritter, M., Rudzki, J., Danzl, J. G., Gschwentner, M., Scandella,
E., … Paulmichl, M. (2002). ICln Ion channel splice variants in Caenorhabditis
elegans. Journal of Biological Chemistry. Elsevier. https://doi.org/10.1074/jbc.m107372200
chicago: Fürst, Johannes, Markus Ritter, Jakob Rudzki, Johann G Danzl, Martin Gschwentner,
Elke Scandella, Martin Jakab, et al. “ICln Ion Channel Splice Variants in Caenorhabditis
Elegans.” Journal of Biological Chemistry. Elsevier, 2002. https://doi.org/10.1074/jbc.m107372200.
ieee: J. Fürst et al., “ICln Ion channel splice variants in Caenorhabditis
elegans,” Journal of Biological Chemistry, vol. 277, no. 6. Elsevier, pp.
4435–4445, 2002.
ista: Fürst J, Ritter M, Rudzki J, Danzl JG, Gschwentner M, Scandella E, Jakab M,
König M, Oehl B, Lang F, Deetjen P, Paulmichl M. 2002. ICln Ion channel splice
variants in Caenorhabditis elegans. Journal of Biological Chemistry. 277(6), 4435–4445.
mla: Fürst, Johannes, et al. “ICln Ion Channel Splice Variants in Caenorhabditis
Elegans.” Journal of Biological Chemistry, vol. 277, no. 6, Elsevier, 2002,
pp. 4435–45, doi:10.1074/jbc.m107372200.
short: J. Fürst, M. Ritter, J. Rudzki, J.G. Danzl, M. Gschwentner, E. Scandella,
M. Jakab, M. König, B. Oehl, F. Lang, P. Deetjen, M. Paulmichl, Journal of Biological
Chemistry 277 (2002) 4435–4445.
date_created: 2023-08-01T12:37:50Z
date_published: 2002-02-08T00:00:00Z
date_updated: 2023-08-01T12:55:54Z
day: '08'
ddc:
- '570'
doi: 10.1074/jbc.m107372200
extern: '1'
external_id:
pmid:
- '11706026'
file:
- access_level: open_access
checksum: 13abe20f78eb37ab62beb006f62c69b7
content_type: application/pdf
creator: alisjak
date_created: 2023-08-01T12:44:09Z
date_updated: 2023-08-01T12:44:09Z
file_id: '13439'
file_name: 2002_JBC_Fuerst.pdf
file_size: 798920
relation: main_file
success: 1
file_date_updated: 2023-08-01T12:44:09Z
has_accepted_license: '1'
intvolume: ' 277'
issue: '6'
keyword:
- Cell Biology
- Molecular Biology
- Biochemistry
language:
- iso: eng
month: '02'
oa: 1
oa_version: Published Version
page: 4435-4445
pmid: 1
publication: Journal of Biological Chemistry
publication_identifier:
issn:
- 0021-9258
publication_status: published
publisher: Elsevier
quality_controlled: '1'
scopus_import: '1'
status: public
title: ICln Ion channel splice variants in Caenorhabditis elegans
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: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 277
year: '2002'
...
---
_id: '12659'
abstract:
- lang: eng
text: "For many years considerable efforts have been put into investigating and
modelling hydrological processes of mountainous catchments. On the one hand, the
complexity and intrinsically high variability of the involved processes as well
as insufficient knowledge of the underlying physical mechanisms still induce large
uncertainties in understanding observed phenomena and predicting the behaviour
of the system. On the other hand, the demand for models that are able to simulate
mountainous water resource systems is increasing because of the needs related
to both water exploitation and water conservation, which clearly call for an integrated
vision and modelling of these systems.\r\nAccordingly, this paper moves from a
brief survey of the most significant achievements in mountain hydrology to discuss
what could be future challenging issues related to the broader spectrum of questions,
which hydrologic modelling of mountainous river systems may face in the next decades.
Firstly, reference is made to existing methodologies for modelling alpine water
systems, focussing on some specific aspects that provide a basis for the discussion
of the weaknesses and perspectives of present simulation tools. The future is
thus discussed, delineating some of the research challenges that may foster a
comprehensive and integrated vision of water related issues in mountainous regions."
article_processing_charge: No
article_type: original
author:
- first_name: Paolo
full_name: Burlando, Paolo
last_name: Burlando
- first_name: Francesca
full_name: Pellicciotti, Francesca
id: b28f055a-81ea-11ed-b70c-a9fe7f7b0e70
last_name: Pellicciotti
- first_name: Ulrich
full_name: Strasser, Ulrich
last_name: Strasser
citation:
ama: Burlando P, Pellicciotti F, Strasser U. Modelling mountainous water systems
between learning and speculating looking for challenges. Hydrology Research.
2002;33(1):47-74. doi:10.2166/nh.2002.0004
apa: Burlando, P., Pellicciotti, F., & Strasser, U. (2002). Modelling mountainous
water systems between learning and speculating looking for challenges. Hydrology
Research. IWA Publishing. https://doi.org/10.2166/nh.2002.0004
chicago: Burlando, Paolo, Francesca Pellicciotti, and Ulrich Strasser. “Modelling
Mountainous Water Systems between Learning and Speculating Looking for Challenges.”
Hydrology Research. IWA Publishing, 2002. https://doi.org/10.2166/nh.2002.0004.
ieee: P. Burlando, F. Pellicciotti, and U. Strasser, “Modelling mountainous water
systems between learning and speculating looking for challenges,” Hydrology
Research, vol. 33, no. 1. IWA Publishing, pp. 47–74, 2002.
ista: Burlando P, Pellicciotti F, Strasser U. 2002. Modelling mountainous water
systems between learning and speculating looking for challenges. Hydrology Research.
33(1), 47–74.
mla: Burlando, Paolo, et al. “Modelling Mountainous Water Systems between Learning
and Speculating Looking for Challenges.” Hydrology Research, vol. 33, no.
1, IWA Publishing, 2002, pp. 47–74, doi:10.2166/nh.2002.0004.
short: P. Burlando, F. Pellicciotti, U. Strasser, Hydrology Research 33 (2002) 47–74.
date_created: 2023-02-20T08:19:02Z
date_published: 2002-02-01T00:00:00Z
date_updated: 2023-02-20T08:30:15Z
day: '01'
doi: 10.2166/nh.2002.0004
extern: '1'
intvolume: ' 33'
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.2166/nh.2002.0004
month: '02'
oa: 1
oa_version: Published Version
page: 47-74
publication: Hydrology Research
publication_identifier:
eissn:
- 2224-7955
issn:
- 0029-1277
publication_status: published
publisher: IWA Publishing
quality_controlled: '1'
scopus_import: '1'
status: public
title: Modelling mountainous water systems between learning and speculating looking
for challenges
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 33
year: '2002'
...
---
_id: '3421'
abstract:
- lang: eng
text: Single molecule experiments provide insight into the individuality of biological
macromolecules, their unique function, reaction pathways, trajectories and molecular
interactions. The exceptional signal-to-noise ratio of the atomic force microscope
allows individual proteins to be imaged under physiologically relevant conditions
at a lateral resolution of 0.5–1 nm and a vertical resolution of 0.1–0.2 nm. Recently,
it has become possible to observe single molecule events using this technique.
This capability is reviewed on various water-soluble and membrane proteins. Examples
of the observation of function, variability, and assembly of single proteins are
discussed. Statistical analysis is important to extend conclusions derived from
single molecule experiments to protein species. Such approaches allow the classification
of protein conformations and movements. Recent developments of probe microscopy
techniques allow simultaneous measurement of multiple signals on individual macromolecules,
and greatly extend the range of experiments possible for probing biological systems
at the molecular level. Biologists exploring molecular mechanisms will benefit
from a burgeoning of scanning probe microscopes and of their future combination
with molecular biological experiments.
article_processing_charge: No
article_type: review
author:
- first_name: Daniel
full_name: Mueller, Daniel
last_name: Mueller
- first_name: Harald L
full_name: Janovjak, Harald L
id: 33BA6C30-F248-11E8-B48F-1D18A9856A87
last_name: Janovjak
orcid: 0000-0002-8023-9315
- first_name: Tiina
full_name: Lehto, Tiina
last_name: Lehto
- first_name: Lars
full_name: Kuerschner, Lars
last_name: Kuerschner
- first_name: Kurt
full_name: Anderson, Kurt
last_name: Anderson
citation:
ama: Mueller D, Janovjak HL, Lehto T, Kuerschner L, Anderson K. Observing structure,
function and assembly of single proteins by AFM. Progress in Biophysics and
Molecular Biology. 2002;79(1-3):1-43. doi:10.1016/S0079-6107(02)00009-3
apa: Mueller, D., Janovjak, H. L., Lehto, T., Kuerschner, L., & Anderson, K.
(2002). Observing structure, function and assembly of single proteins by AFM.
Progress in Biophysics and Molecular Biology. Elsevier. https://doi.org/10.1016/S0079-6107(02)00009-3
chicago: Mueller, Daniel, Harald L Janovjak, Tiina Lehto, Lars Kuerschner, and Kurt
Anderson. “Observing Structure, Function and Assembly of Single Proteins by AFM.”
Progress in Biophysics and Molecular Biology. Elsevier, 2002. https://doi.org/10.1016/S0079-6107(02)00009-3.
ieee: D. Mueller, H. L. Janovjak, T. Lehto, L. Kuerschner, and K. Anderson, “Observing
structure, function and assembly of single proteins by AFM,” Progress in Biophysics
and Molecular Biology, vol. 79, no. 1–3. Elsevier, pp. 1–43, 2002.
ista: Mueller D, Janovjak HL, Lehto T, Kuerschner L, Anderson K. 2002. Observing
structure, function and assembly of single proteins by AFM. Progress in Biophysics
and Molecular Biology. 79(1–3), 1–43.
mla: Mueller, Daniel, et al. “Observing Structure, Function and Assembly of Single
Proteins by AFM.” Progress in Biophysics and Molecular Biology, vol. 79,
no. 1–3, Elsevier, 2002, pp. 1–43, doi:10.1016/S0079-6107(02)00009-3.
short: D. Mueller, H.L. Janovjak, T. Lehto, L. Kuerschner, K. Anderson, Progress
in Biophysics and Molecular Biology 79 (2002) 1–43.
date_created: 2018-12-11T12:03:14Z
date_published: 2002-05-01T00:00:00Z
date_updated: 2023-07-17T11:36:32Z
day: '01'
doi: 10.1016/S0079-6107(02)00009-3
extern: '1'
external_id:
pmid:
- '12225775'
intvolume: ' 79'
issue: 1-3
language:
- iso: eng
month: '05'
oa_version: None
page: 1 - 43
pmid: 1
publication: Progress in Biophysics and Molecular Biology
publication_identifier:
issn:
- 0079-6107
publication_status: published
publisher: Elsevier
publist_id: '2980'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Observing structure, function and assembly of single proteins by AFM
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 79
year: '2002'
...
---
_id: '3422'
abstract:
- lang: eng
text: Quantitative real-time PCR represents a highly sensitive and powerful technique
for the quantitation of nucleic acids. It has a tremendous potential for the high-throughput
analysis of gene expression in research and routine diagnostics. However, the
major hurdle is not the practical performance of the experiments themselves but
rather the efficient evaluation and the mathematical and statistical analysis
of the enormous amount of data gained by this technology, as these functions are
not included in the software provided by the manufacturers of the detection systems.
In this work, we focus on the mathematical evaluation and analysis of the data
generated by quantitative real-time PCR, the calculation of the final results,
the propagation of experimental variation of the measured values to the final
results, and the statistical analysis. We developed a Microsoft Excel-based software
application coded in Visual Basic for Applications, called Q-Gene, which addresses
these points. Q-Gene manages and expedites the planning, performance, and evaluation
of quantitative real-time PCR experiments, as well as the mathematical and statistical
analysis, storage, and graphical presentation of the data. The Q-Gene software
application is a tool to cope with complex quantitative real-time PCR experiments
at a high-throughput scale and considerably expedites and rationalizes the experimental
setup, data analysis, and data management while ensuring highest reproducibility.
article_processing_charge: No
article_type: original
author:
- first_name: Patrick
full_name: Müller, Patrick
last_name: Müller
- first_name: Harald L
full_name: Janovjak, Harald L
id: 33BA6C30-F248-11E8-B48F-1D18A9856A87
last_name: Janovjak
orcid: 0000-0002-8023-9315
- first_name: Andre
full_name: Miserez, Andre
last_name: Miserez
- first_name: Zuzana
full_name: Dobbie, Zuzana
last_name: Dobbie
citation:
ama: Müller P, Janovjak HL, Miserez A, Dobbie Z. Processing of gene expression data
generated by quantitative real-time RT-PCR. Biotechniques. 2002;32(6):1372-1379.
apa: Müller, P., Janovjak, H. L., Miserez, A., & Dobbie, Z. (2002). Processing
of gene expression data generated by quantitative real-time RT-PCR. Biotechniques.
Informa Healthcare.
chicago: Müller, Patrick, Harald L Janovjak, Andre Miserez, and Zuzana Dobbie. “Processing
of Gene Expression Data Generated by Quantitative Real-Time RT-PCR.” Biotechniques.
Informa Healthcare, 2002.
ieee: P. Müller, H. L. Janovjak, A. Miserez, and Z. Dobbie, “Processing of gene
expression data generated by quantitative real-time RT-PCR,” Biotechniques,
vol. 32, no. 6. Informa Healthcare, pp. 1372–1379, 2002.
ista: Müller P, Janovjak HL, Miserez A, Dobbie Z. 2002. Processing of gene expression
data generated by quantitative real-time RT-PCR. Biotechniques. 32(6), 1372–1379.
mla: Müller, Patrick, et al. “Processing of Gene Expression Data Generated by Quantitative
Real-Time RT-PCR.” Biotechniques, vol. 32, no. 6, Informa Healthcare, 2002,
pp. 1372–79.
short: P. Müller, H.L. Janovjak, A. Miserez, Z. Dobbie, Biotechniques 32 (2002)
1372–1379.
date_created: 2018-12-11T12:03:15Z
date_published: 2002-06-01T00:00:00Z
date_updated: 2023-07-17T11:29:06Z
day: '01'
extern: '1'
external_id:
pmid:
- '12074169'
intvolume: ' 32'
issue: '6'
language:
- iso: eng
month: '06'
oa_version: None
page: 1372 - 1379
pmid: 1
publication: Biotechniques
publication_identifier:
issn:
- 0736-6205
publication_status: published
publisher: Informa Healthcare
publist_id: '2979'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Processing of gene expression data generated by quantitative real-time RT-PCR
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 32
year: '2002'
...
---
_id: '3423'
article_processing_charge: No
author:
- first_name: Wolfgang
full_name: Bauer, Wolfgang
last_name: Bauer
- 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: Marko
full_name: Kleine Berkenbusch, Marko
last_name: Kleine Berkenbusch
- first_name: Holger
full_name: Harreis, Holger
last_name: Harreis
citation:
ama: 'Bauer W, Bollenbach MT, Kleine Berkenbusch M, Harreis H. The percolation interpretation
of the nuclear fragmentation phase transition. In: Proceedings of the 18th
Winter Workshop on Nuclear Dynamics. EP Systema; 2002:111-118.'
apa: 'Bauer, W., Bollenbach, M. T., Kleine Berkenbusch, M., & Harreis, H. (2002).
The percolation interpretation of the nuclear fragmentation phase transition.
In Proceedings of the 18th Winter Workshop on Nuclear Dynamics (pp. 111–118).
Nassau, Bahamas: EP Systema.'
chicago: Bauer, Wolfgang, Mark Tobias Bollenbach, Marko Kleine Berkenbusch, and
Holger Harreis. “The Percolation Interpretation of the Nuclear Fragmentation Phase
Transition.” In Proceedings of the 18th Winter Workshop on Nuclear Dynamics,
111–18. EP Systema, 2002.
ieee: W. Bauer, M. T. Bollenbach, M. Kleine Berkenbusch, and H. Harreis, “The percolation
interpretation of the nuclear fragmentation phase transition,” in Proceedings
of the 18th Winter Workshop on Nuclear Dynamics, Nassau, Bahamas, 2002, pp.
111–118.
ista: Bauer W, Bollenbach MT, Kleine Berkenbusch M, Harreis H. 2002. The percolation
interpretation of the nuclear fragmentation phase transition. Proceedings of the
18th Winter Workshop on Nuclear Dynamics. Winter Workshop on Nuclear Dynamics,
111–118.
mla: Bauer, Wolfgang, et al. “The Percolation Interpretation of the Nuclear Fragmentation
Phase Transition.” Proceedings of the 18th Winter Workshop on Nuclear Dynamics,
EP Systema, 2002, pp. 111–18.
short: W. Bauer, M.T. Bollenbach, M. Kleine Berkenbusch, H. Harreis, in:, Proceedings
of the 18th Winter Workshop on Nuclear Dynamics, EP Systema, 2002, pp. 111–118.
conference:
end_date: 2002-01-22
location: Nassau, Bahamas
name: Winter Workshop on Nuclear Dynamics
start_date: 2002-01-20
date_created: 2018-12-11T12:03:15Z
date_published: 2002-01-01T00:00:00Z
date_updated: 2023-07-17T11:15:14Z
day: '01'
extern: '1'
language:
- iso: eng
month: '01'
oa_version: None
page: 111 - 118
publication: Proceedings of the 18th Winter Workshop on Nuclear Dynamics
publication_status: published
publisher: EP Systema
publist_id: '2978'
status: public
title: The percolation interpretation of the nuclear fragmentation phase transition
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
year: '2002'
...
---
_id: '3424'
abstract:
- lang: eng
text: "We give a brief overview of the current understanding of the explosion mechanism
of core collapse supernovae. Our main focus is the impact of rotation on the explosion.
Recent observations of the polarization of the light emitted by supernova explosions
indicate that there are large deviations from spherical symmetry in the very heart
of the explosion the origin of which is unknown. We use the new approach of a
three dimensional test particle based simulation to simulate the infall phase
of a supernova event. The underlying microphysics is simplified to make this computationally
possible. A systematic study of the influence of rotation mainly during the infall
phase of the collapse of a typical iron core is performed. Indications for significant
deviations from spherical symmetry are found in our very rapidly rotating models.
© 2002 American Institute of Physics\r\n"
alternative_title:
- Exotic Clustering, American Institute of Physics Conference Proceedings
article_processing_charge: No
author:
- 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: Wolfgang
full_name: Bauer, Wolfgang
last_name: Bauer
citation:
ama: 'Bollenbach MT, Bauer W. 3d supernovae collapse calculations. In: Vol 644.
American Institute of Physics; 2002:219-232. doi:10.1063/1.1523196 '
apa: 'Bollenbach, M. T., & Bauer, W. (2002). 3d supernovae collapse calculations
(Vol. 644, pp. 219–232). Presented at the CRIS: Catania Relativistic Ion Studies
, Catania, Italy: American Institute of Physics. https://doi.org/10.1063/1.1523196 '
chicago: Bollenbach, Mark Tobias, and Wolfgang Bauer. “3d Supernovae Collapse Calculations,”
644:219–32. American Institute of Physics, 2002. https://doi.org/10.1063/1.1523196 .
ieee: 'M. T. Bollenbach and W. Bauer, “3d supernovae collapse calculations,” presented
at the CRIS: Catania Relativistic Ion Studies , Catania, Italy, 2002, vol. 644,
pp. 219–232.'
ista: 'Bollenbach MT, Bauer W. 2002. 3d supernovae collapse calculations. CRIS:
Catania Relativistic Ion Studies , Exotic Clustering, American Institute of Physics
Conference Proceedings, vol. 644, 219–232.'
mla: Bollenbach, Mark Tobias, and Wolfgang Bauer. 3d Supernovae Collapse Calculations.
Vol. 644, American Institute of Physics, 2002, pp. 219–32, doi:10.1063/1.1523196 .
short: M.T. Bollenbach, W. Bauer, in:, American Institute of Physics, 2002, pp.
219–232.
conference:
end_date: 2002-06-14
location: Catania, Italy
name: 'CRIS: Catania Relativistic Ion Studies '
start_date: 2002-06-10
date_created: 2018-12-11T12:03:15Z
date_published: 2002-11-26T00:00:00Z
date_updated: 2023-07-17T11:05:27Z
day: '26'
doi: '10.1063/1.1523196 '
extern: '1'
intvolume: ' 644'
language:
- iso: eng
month: '11'
oa_version: None
page: 219 - 232
publication_identifier:
isbn:
- '9781510832008'
publication_status: published
publisher: American Institute of Physics
publist_id: '2977'
quality_controlled: '1'
status: public
title: 3d supernovae collapse calculations
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 644
year: '2002'
...
---
_id: '3448'
author:
- first_name: Sanhita
full_name: Mallick, Sanhita
last_name: Mallick
- first_name: Krishnendu
full_name: Krishnendu Chatterjee
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Arif
full_name: Merchant, Arif N
last_name: Merchant
- first_name: Pallab
full_name: Dasgupta, Pallab
last_name: Dasgupta
citation:
ama: 'Mallick S, Chatterjee K, Merchant A, Dasgupta P. Implementation of shape grammar
for plan analysis. In: Elsevier; 2002.'
apa: 'Mallick, S., Chatterjee, K., Merchant, A., & Dasgupta, P. (2002). Implementation
of shape grammar for plan analysis. Presented at the IT-Built: Information Technology
For Built Environment, Elsevier.'
chicago: Mallick, Sanhita, Krishnendu Chatterjee, Arif Merchant, and Pallab Dasgupta.
“Implementation of Shape Grammar for Plan Analysis.” Elsevier, 2002.
ieee: 'S. Mallick, K. Chatterjee, A. Merchant, and P. Dasgupta, “Implementation
of shape grammar for plan analysis,” presented at the IT-Built: Information Technology
For Built Environment, 2002.'
ista: 'Mallick S, Chatterjee K, Merchant A, Dasgupta P. 2002. Implementation of
shape grammar for plan analysis. IT-Built: Information Technology For Built Environment.'
mla: Mallick, Sanhita, et al. Implementation of Shape Grammar for Plan Analysis.
Elsevier, 2002.
short: S. Mallick, K. Chatterjee, A. Merchant, P. Dasgupta, in:, Elsevier, 2002.
conference:
name: 'IT-Built: Information Technology For Built Environment'
date_created: 2018-12-11T12:03:23Z
date_published: 2002-01-15T00:00:00Z
date_updated: 2021-01-12T07:43:31Z
day: '15'
extern: 1
month: '01'
publication_status: published
publisher: Elsevier
publist_id: '2939'
quality_controlled: 0
status: public
title: Implementation of shape grammar for plan analysis
type: conference
year: '2002'
...
---
_id: '3497'
abstract:
- lang: eng
text: The use of advanced patch-clamp recording techniques in brain slices, such
as simultaneous recording from multiple neurons and recording from dendrites or
presynaptic terminals, demands slices of the highest quality. In this context
the mechanics of the tissue slicer are an important factor. Ideally, a tissue
slicer should generate large-amplitude and high-frequency movements of the cutting
blade in a horizontal axis, with minimal vibrations in the vertical axis. We developed
a vibroslicer that fulfils these in part conflicting requirements. The oscillator
is a permanent-magnet-coil-leaf-spring system. Using an auto-resonant mechano-electrical
feedback circuit, large horizontal oscillations (up to 3 mm peak-to-peak) with
high frequency (,90 Hz) are generated. To minimize vertical vibrations, an adjustment
mechanism was employed that allowed alignment of the cutting edge of the blade
with the major axis of the oscillation. A vibroprobe device was used to monitor
vertical vibrations during adjustment. The system is based on the shading of the
light path between a light-emitting diode (LED) and a photodiode. Vibroprobe monitoring
revealed that the vibroslicer, after appropriate adjustment, generated vertical
vibrations of <1 µm, significantly less than many commercial tissue slicers.
Light- and electron-microscopic analysis of surface layers of slices cut with
the vibroslicer showed that cellular elements, dendritic processes and presynaptic
terminals are well preserved under these conditions, as required for patch-clamp
recording from these structures.
acknowledgement: "We thank Dr. M. Frotscher for reading the manuscript, and H. Kressner,
R. Laufersweiler, and A. Bühler for help with the construction of several prototypes
of vibroslicer and vibroprobe. We also thank A. Blomenkamp, K. Winterhalter, B.
Joch, and A. Schneider for technical assistance. This work was supported by grants
of the Deutsche Forschungsgemeinschaft\r\n(SFB 505/C5, C6) and the Human Frontiers
Science Program Organization (RG0017/1998-B)."
article_processing_charge: No
article_type: original
author:
- first_name: Jörg
full_name: Geiger, Jörg
last_name: Geiger
- first_name: Joseph
full_name: Bischofberger, Joseph
last_name: Bischofberger
- first_name: Imre
full_name: Vida, Imre
last_name: Vida
- first_name: Ulrich
full_name: Fröbe, Ulrich
last_name: Fröbe
- first_name: S
full_name: Pfitzinger, S
last_name: Pfitzinger
- first_name: H.
full_name: Weber, H.
last_name: Weber
- first_name: Klaus
full_name: Haverkampf, Klaus
last_name: Haverkampf
- first_name: Peter M
full_name: Jonas, Peter M
id: 353C1B58-F248-11E8-B48F-1D18A9856A87
last_name: Jonas
orcid: 0000-0001-5001-4804
citation:
ama: 'Geiger J, Bischofberger J, Vida I, et al. Patch-clamp recording in brain slices
with improved slicer technology. Pflugers Archiv : European Journal of Physiology.
2002;443(3):491-501. doi:10.1007/s00424-001-0735-3'
apa: 'Geiger, J., Bischofberger, J., Vida, I., Fröbe, U., Pfitzinger, S., Weber,
H., … Jonas, P. M. (2002). Patch-clamp recording in brain slices with improved
slicer technology. Pflugers Archiv : European Journal of Physiology. Springer.
https://doi.org/10.1007/s00424-001-0735-3'
chicago: 'Geiger, Jörg, Joseph Bischofberger, Imre Vida, Ulrich Fröbe, S Pfitzinger,
H. Weber, Klaus Haverkampf, and Peter M Jonas. “Patch-Clamp Recording in Brain
Slices with Improved Slicer Technology.” Pflugers Archiv : European Journal
of Physiology. Springer, 2002. https://doi.org/10.1007/s00424-001-0735-3.'
ieee: 'J. Geiger et al., “Patch-clamp recording in brain slices with improved
slicer technology,” Pflugers Archiv : European Journal of Physiology, vol.
443, no. 3. Springer, pp. 491–501, 2002.'
ista: 'Geiger J, Bischofberger J, Vida I, Fröbe U, Pfitzinger S, Weber H, Haverkampf
K, Jonas PM. 2002. Patch-clamp recording in brain slices with improved slicer
technology. Pflugers Archiv : European Journal of Physiology. 443(3), 491–501.'
mla: 'Geiger, Jörg, et al. “Patch-Clamp Recording in Brain Slices with Improved
Slicer Technology.” Pflugers Archiv : European Journal of Physiology, vol.
443, no. 3, Springer, 2002, pp. 491–501, doi:10.1007/s00424-001-0735-3.'
short: 'J. Geiger, J. Bischofberger, I. Vida, U. Fröbe, S. Pfitzinger, H. Weber,
K. Haverkampf, P.M. Jonas, Pflugers Archiv : European Journal of Physiology 443
(2002) 491–501.'
date_created: 2018-12-11T12:03:38Z
date_published: 2002-01-01T00:00:00Z
date_updated: 2023-07-17T07:36:37Z
day: '01'
doi: 10.1007/s00424-001-0735-3
extern: '1'
external_id:
pmid:
- '11810221'
intvolume: ' 443'
issue: '3'
language:
- iso: eng
month: '01'
oa_version: None
page: 491 - 501
pmid: 1
publication: 'Pflugers Archiv : European Journal of Physiology'
publication_identifier:
issn:
- 0031-6768
publication_status: published
publisher: Springer
publist_id: '2890'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Patch-clamp recording in brain slices with improved slicer technology
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 443
year: '2002'
...
---
_id: '3508'
abstract:
- lang: eng
text: A method of automatic conversion of a physical object into a three-dimensional
digital model. The method acquires a set of measured data points on the surface
of a physical model. From the measured data points, the method reconstructs a
digital model of the physical object using a Delaunay complex of the points, a
flow strcuture of the simplicies in the Delaunay complex and retracting the Delaunay
complex into a digital model of the physical object using the flow structure.
The method then outputs the digital model of the physical object.
applicant:
- Raindrop Geomagic, Inc.
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
- first_name: Ping
full_name: Fu, Ping
last_name: Fu
citation:
ama: Edelsbrunner H, Fu P. Methods of generating three-dimensional digital models
of objects by wrapping point cloud data points. 2002.
apa: Edelsbrunner, H., & Fu, P. (2002). Methods of generating three-dimensional
digital models of objects by wrapping point cloud data points.
chicago: Edelsbrunner, Herbert, and Ping Fu. “Methods of Generating Three-Dimensional
Digital Models of Objects by Wrapping Point Cloud Data Points,” 2002.
ieee: H. Edelsbrunner and P. Fu, “Methods of generating three-dimensional digital
models of objects by wrapping point cloud data points.” 2002.
ista: Edelsbrunner H, Fu P. 2002. Methods of generating three-dimensional digital
models of objects by wrapping point cloud data points.
mla: Edelsbrunner, Herbert, and Ping Fu. Methods of Generating Three-Dimensional
Digital Models of Objects by Wrapping Point Cloud Data Points. 2002.
short: H. Edelsbrunner, P. Fu, (2002).
date_created: 2018-12-11T12:03:42Z
date_published: 2002-04-23T00:00:00Z
date_updated: 2022-01-05T14:09:36Z
day: '23'
extern: '1'
ipc: G16Z99/00 ; G06K9/28 ; G06T17/10 ; G06T17/20
ipn: US6377865B1
main_file_link:
- open_access: '1'
url: https://patents.google.com/patent/US6377865B1
month: '04'
oa: 1
oa_version: Published Version
publication_date: 2002-04-23
publist_id: '2879'
status: public
title: Methods of generating three-dimensional digital models of objects by wrapping
point cloud data points
type: patent
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
year: '2002'
...
---
_id: '3533'
abstract:
- lang: eng
text: 'Information in neuronal networks is thought to be represented by the rate
of discharge and the temporal relationship between the discharging neurons. The
discharge frequency of neurons is affected by their afferents and intrinsic properties,
and shows great individual variability. The temporal coordination of neurons is
greatly facilitated by network oscillations. In the hippocampus, population synchrony
fluctuates during theta and gamma oscillations (10-100 ms scale) and can increase
almost 10-fold during sharp wave bursts. Despite these large changes in excitability
in the sub-second scale, longer-term (minute-scale) firing rates of individual
neurons are relatively constant in an unchanging environment. As a result, mean
hippocampal output remains stable over time. To understand the mechanisms responsible
for this homeostasis, we address the following issues: (i) Can firing rates of
single cells be modified? (ii) Once modified, what mechanism(s) can maintain the
changes? We show that firing rates of hippocampal pyramidal cells can be altered
in a novel environment and by Hebbian pairing of physiological input patterns
with postsynaptic burst discharge. We also illustrate a competition between single
spikes and the occurrence of spike bursts. Since spike-inducing (suprathreshold)
inputs decrease the ability of strong (''teaching'') inputs to induce a burst
discharge, we propose that the single spike versus burst competition presents
a homeostatic regulatory mechanism to maintain synaptic strength and, consequently,
firing rate in pyramidal cells.'
article_processing_charge: No
article_type: original
author:
- first_name: György
full_name: Buzsáki, György
last_name: Buzsáki
- first_name: Jozsef L
full_name: Csicsvari, Jozsef L
id: 3FA14672-F248-11E8-B48F-1D18A9856A87
last_name: Csicsvari
orcid: 0000-0002-5193-4036
- first_name: George
full_name: Dragoi, George
last_name: Dragoi
- first_name: Kenneth
full_name: Harris, Kenneth
last_name: Harris
- first_name: D.
full_name: Henze, D.
last_name: Henze
- first_name: Hajima
full_name: Hirase, Hajima
last_name: Hirase
citation:
ama: Buzsáki G, Csicsvari JL, Dragoi G, Harris K, Henze D, Hirase H. Homeostatic
maintenance of neuronal excitability by burst discharges in vivo. Cerebral
Cortex. 2002;12(9):893-899. doi:10.1093/cercor/12.9.893
apa: Buzsáki, G., Csicsvari, J. L., Dragoi, G., Harris, K., Henze, D., & Hirase,
H. (2002). Homeostatic maintenance of neuronal excitability by burst discharges
in vivo. Cerebral Cortex. Oxford University Press. https://doi.org/10.1093/cercor/12.9.893
chicago: Buzsáki, György, Jozsef L Csicsvari, George Dragoi, Kenneth Harris, D.
Henze, and Hajima Hirase. “Homeostatic Maintenance of Neuronal Excitability by
Burst Discharges in Vivo.” Cerebral Cortex. Oxford University Press, 2002.
https://doi.org/10.1093/cercor/12.9.893.
ieee: G. Buzsáki, J. L. Csicsvari, G. Dragoi, K. Harris, D. Henze, and H. Hirase,
“Homeostatic maintenance of neuronal excitability by burst discharges in vivo,”
Cerebral Cortex, vol. 12, no. 9. Oxford University Press, pp. 893–899,
2002.
ista: Buzsáki G, Csicsvari JL, Dragoi G, Harris K, Henze D, Hirase H. 2002. Homeostatic
maintenance of neuronal excitability by burst discharges in vivo. Cerebral Cortex.
12(9), 893–899.
mla: Buzsáki, György, et al. “Homeostatic Maintenance of Neuronal Excitability by
Burst Discharges in Vivo.” Cerebral Cortex, vol. 12, no. 9, Oxford University
Press, 2002, pp. 893–99, doi:10.1093/cercor/12.9.893.
short: G. Buzsáki, J.L. Csicsvari, G. Dragoi, K. Harris, D. Henze, H. Hirase, Cerebral
Cortex 12 (2002) 893–899.
date_created: 2018-12-11T12:03:50Z
date_published: 2002-09-01T00:00:00Z
date_updated: 2023-07-17T07:27:12Z
day: '01'
doi: 10.1093/cercor/12.9.893
extern: '1'
external_id:
pmid:
- '12183388'
intvolume: ' 12'
issue: '9'
language:
- iso: eng
month: '09'
oa_version: None
page: 893 - 899
pmid: 1
publication: Cerebral Cortex
publication_identifier:
issn:
- 1047-3211
publication_status: published
publisher: Oxford University Press
publist_id: '2851'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Homeostatic maintenance of neuronal excitability by burst discharges in vivo
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 12
year: '2002'
...
---
_id: '3621'
abstract:
- lang: eng
text: In 1991, Barton and Turelli developed recursions to describe the evolution
of multilocus systems under arbitrary forms of selection. This article generalizes
their approach to allow for arbitrary modes of inheritance, including diploidy,
polyploidy, sex linkage, cytoplasmic inheritance, and genomic imprinting. The
framework is also extended to allow for other deterministic evolutionary forces,
including migration and mutation. Exact recursions that fully describe the state
of the population are presented; these are implemented in a computer algebra package
(available on the Web at http://helios.bto.ed.ac.uk/evolgen). Despite the generality
of our framework, it can describe evolutionary dynamics exactly by just two equations.
These recursions can be further simplified using a "quasi-linkage equilibrium"
(QLE) approximation. We illustrate the methods by finding the effect of natural
selection, sexual selection, mutation, and migration on the genetic composition
of a population.
article_processing_charge: No
article_type: original
author:
- first_name: Mark
full_name: Kirkpatrick, Mark
last_name: Kirkpatrick
- first_name: Toby
full_name: Johnson, Toby
last_name: Johnson
- 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: Kirkpatrick M, Johnson T, Barton NH. General models of multilocus evolution.
Genetics. 2002;161(4):1727-1750. doi:10.1093/genetics/161.4.1727
apa: Kirkpatrick, M., Johnson, T., & Barton, N. H. (2002). General models of
multilocus evolution. Genetics. Genetics Society of America. https://doi.org/10.1093/genetics/161.4.1727
chicago: Kirkpatrick, Mark, Toby Johnson, and Nicholas H Barton. “General Models
of Multilocus Evolution.” Genetics. Genetics Society of America, 2002.
https://doi.org/10.1093/genetics/161.4.1727.
ieee: M. Kirkpatrick, T. Johnson, and N. H. Barton, “General models of multilocus
evolution,” Genetics, vol. 161, no. 4. Genetics Society of America, pp.
1727–1750, 2002.
ista: Kirkpatrick M, Johnson T, Barton NH. 2002. General models of multilocus evolution.
Genetics. 161(4), 1727–1750.
mla: Kirkpatrick, Mark, et al. “General Models of Multilocus Evolution.” Genetics,
vol. 161, no. 4, Genetics Society of America, 2002, pp. 1727–50, doi:10.1093/genetics/161.4.1727.
short: M. Kirkpatrick, T. Johnson, N.H. Barton, Genetics 161 (2002) 1727–1750.
date_created: 2018-12-11T12:04:17Z
date_published: 2002-08-01T00:00:00Z
date_updated: 2023-07-11T13:20:26Z
day: '01'
doi: 10.1093/genetics/161.4.1727
extern: '1'
external_id:
pmid:
- '12196414'
intvolume: ' 161'
issue: '4'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC1462196/
month: '08'
oa: 1
oa_version: Published Version
page: 1727 - 1750
pmid: 1
publication: Genetics
publication_identifier:
issn:
- 0016-6731
publication_status: published
publisher: Genetics Society of America
publist_id: '2762'
quality_controlled: '1'
scopus_import: '1'
status: public
title: General models of multilocus evolution
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 161
year: '2002'
...