[{"oa_version":"None","extern":"1","status":"public","publist_id":"4504","article_processing_charge":"No","alternative_title":["LNCS"],"language":[{"iso":"eng"}],"quality_controlled":"1","publisher":"Springer","page":"489 - 500","year":"2002","publication_status":"published","publication_identifier":{"isbn":["9783540001423"]},"date_published":"2002-01-01T00:00:00Z","title":"On the Clique problem in intersection graphs of ellipses","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"conference","abstract":[{"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.","lang":"eng"}],"publication":"Proceedings of the 13th International Symposium on Algorithms and Computation","doi":"10.1007/3-540-36136-7_43","volume":2518,"date_created":"2018-12-11T11:57:34Z","_id":"2421","author":[{"last_name":"Ambühl","first_name":"Christoph","full_name":"Ambühl, Christoph"},{"first_name":"Uli","last_name":"Wagner","id":"36690CA2-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-1494-0568","full_name":"Wagner, Uli"}],"date_updated":"2023-07-25T11:48:36Z","intvolume":"      2518","day":"01","month":"01","citation":{"ieee":"C. Ambühl and U. Wagner, “On the Clique problem in intersection graphs of ellipses,” in <i>Proceedings of the 13th International Symposium on Algorithms and Computation</i>, 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.","chicago":"Ambühl, Christoph, and Uli Wagner. “On the Clique Problem in Intersection Graphs of Ellipses.” In <i>Proceedings of the 13th International Symposium on Algorithms and Computation</i>, 2518:489–500. Springer, 2002. <a href=\"https://doi.org/10.1007/3-540-36136-7_43\">https://doi.org/10.1007/3-540-36136-7_43</a>.","ama":"Ambühl C, Wagner U. On the Clique problem in intersection graphs of ellipses. In: <i>Proceedings of the 13th International Symposium on Algorithms and Computation</i>. Vol 2518. Springer; 2002:489-500. doi:<a href=\"https://doi.org/10.1007/3-540-36136-7_43\">10.1007/3-540-36136-7_43</a>","short":"C. Ambühl, U. Wagner, in:, Proceedings of the 13th International Symposium on Algorithms and Computation, Springer, 2002, pp. 489–500.","apa":"Ambühl, C., &#38; Wagner, U. (2002). On the Clique problem in intersection graphs of ellipses. In <i>Proceedings of the 13th International Symposium on Algorithms and Computation</i> (Vol. 2518, pp. 489–500). Vancouver, Canada: Springer. <a href=\"https://doi.org/10.1007/3-540-36136-7_43\">https://doi.org/10.1007/3-540-36136-7_43</a>","mla":"Ambühl, Christoph, and Uli Wagner. “On the Clique Problem in Intersection Graphs of Ellipses.” <i>Proceedings of the 13th International Symposium on Algorithms and Computation</i>, vol. 2518, Springer, 2002, pp. 489–500, doi:<a href=\"https://doi.org/10.1007/3-540-36136-7_43\">10.1007/3-540-36136-7_43</a>."},"scopus_import":"1","conference":{"end_date":"2002-11-23","name":"ISAAC: International Symposium on Algorithms and Computation","start_date":"2002-11-21","location":"Vancouver, Canada"}},{"article_processing_charge":"No","alternative_title":["LNCS"],"language":[{"iso":"eng"}],"oa_version":"None","status":"public","extern":"1","publist_id":"146","publication_status":"published","publication_identifier":{"isbn":["9783540439974"]},"year":"2002","date_published":"2002-06-19T00:00:00Z","quality_controlled":"1","publisher":"Springer","page":"414 - 427","title":"Synchronous and bidirectional component interfaces","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"conference","doi":"10.1007/3-540-45657-0_34","abstract":[{"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.","lang":"eng"}],"publication":"Proceedings of the 14th International Conference on Computer Aided Verification","date_created":"2018-12-11T12:09:29Z","_id":"4562","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.","volume":2404,"date_updated":"2023-06-02T12:01:22Z","author":[{"last_name":"Chakrabarti","first_name":"Arindam","full_name":"Chakrabarti, Arindam"},{"last_name":"De Alfaro","first_name":"Luca","full_name":"De Alfaro, Luca"},{"first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger","full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724"},{"full_name":"Mang, Freddy","first_name":"Freddy","last_name":"Mang"}],"month":"06","intvolume":"      2404","day":"19","citation":{"ieee":"A. Chakrabarti, L. De Alfaro, T. A. Henzinger, and F. Mang, “Synchronous and bidirectional component interfaces,” in <i>Proceedings of the 14th International Conference on Computer Aided Verification</i>, Copenhagen, Denmark, 2002, vol. 2404, pp. 414–427.","ama":"Chakrabarti A, De Alfaro L, Henzinger TA, Mang F. Synchronous and bidirectional component interfaces. In: <i>Proceedings of the 14th International Conference on Computer Aided Verification</i>. Vol 2404. Springer; 2002:414-427. doi:<a href=\"https://doi.org/10.1007/3-540-45657-0_34\">10.1007/3-540-45657-0_34</a>","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.","chicago":"Chakrabarti, Arindam, Luca De Alfaro, Thomas A Henzinger, and Freddy Mang. “Synchronous and Bidirectional Component Interfaces.” In <i>Proceedings of the 14th International Conference on Computer Aided Verification</i>, 2404:414–27. Springer, 2002. <a href=\"https://doi.org/10.1007/3-540-45657-0_34\">https://doi.org/10.1007/3-540-45657-0_34</a>.","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.","mla":"Chakrabarti, Arindam, et al. “Synchronous and Bidirectional Component Interfaces.” <i>Proceedings of the 14th International Conference on Computer Aided Verification</i>, vol. 2404, Springer, 2002, pp. 414–27, doi:<a href=\"https://doi.org/10.1007/3-540-45657-0_34\">10.1007/3-540-45657-0_34</a>.","apa":"Chakrabarti, A., De Alfaro, L., Henzinger, T. A., &#38; Mang, F. (2002). Synchronous and bidirectional component interfaces. In <i>Proceedings of the 14th International Conference on Computer Aided Verification</i> (Vol. 2404, pp. 414–427). Copenhagen, Denmark: Springer. <a href=\"https://doi.org/10.1007/3-540-45657-0_34\">https://doi.org/10.1007/3-540-45657-0_34</a>"},"scopus_import":"1","conference":{"location":"Copenhagen, Denmark","name":"CAV: Computer Aided Verification","start_date":"2002-07-27","end_date":"2002-07-31"}},{"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"conference","title":"Interface compatibility checking for software modules","doi":"10.1007/3-540-45657-0_35","publication":"Proceedings of the 14th International Conference on Computer Aided Verification","abstract":[{"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.","lang":"eng"}],"language":[{"iso":"eng"}],"alternative_title":["LNCS"],"article_processing_charge":"No","publist_id":"147","extern":"1","status":"public","oa_version":"None","date_published":"2002-06-19T00:00:00Z","publication_identifier":{"isbn":[" 9783540439974"]},"publication_status":"published","year":"2002","page":"428 - 441","publisher":"Springer","quality_controlled":"1","month":"06","day":"19","intvolume":"      2404","conference":{"name":"CAV: Computer Aided Verification","start_date":"2002-07-27","location":"Copenhagen, Denmark","end_date":"2002-07-31"},"scopus_import":"1","citation":{"ieee":"A. Chakrabarti, L. De Alfaro, T. A. Henzinger, M. Jurdziński, and F. Mang, “Interface compatibility checking for software modules,” in <i>Proceedings of the 14th International Conference on Computer Aided Verification</i>, Copenhagen, Denmark, 2002, vol. 2404, pp. 428–441.","chicago":"Chakrabarti, Arindam, Luca De Alfaro, Thomas A Henzinger, Marcin Jurdziński, and Freddy Mang. “Interface Compatibility Checking for Software Modules.” In <i>Proceedings of the 14th International Conference on Computer Aided Verification</i>, 2404:428–41. Springer, 2002. <a href=\"https://doi.org/10.1007/3-540-45657-0_35\">https://doi.org/10.1007/3-540-45657-0_35</a>.","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.","ama":"Chakrabarti A, De Alfaro L, Henzinger TA, Jurdziński M, Mang F. Interface compatibility checking for software modules. In: <i>Proceedings of the 14th International Conference on Computer Aided Verification</i>. Vol 2404. Springer; 2002:428-441. doi:<a href=\"https://doi.org/10.1007/3-540-45657-0_35\">10.1007/3-540-45657-0_35</a>","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.","mla":"Chakrabarti, Arindam, et al. “Interface Compatibility Checking for Software Modules.” <i>Proceedings of the 14th International Conference on Computer Aided Verification</i>, vol. 2404, Springer, 2002, pp. 428–41, doi:<a href=\"https://doi.org/10.1007/3-540-45657-0_35\">10.1007/3-540-45657-0_35</a>.","apa":"Chakrabarti, A., De Alfaro, L., Henzinger, T. A., Jurdziński, M., &#38; Mang, F. (2002). Interface compatibility checking for software modules. In <i>Proceedings of the 14th International Conference on Computer Aided Verification</i> (Vol. 2404, pp. 428–441). Copenhagen, Denmark: Springer. <a href=\"https://doi.org/10.1007/3-540-45657-0_35\">https://doi.org/10.1007/3-540-45657-0_35</a>"},"_id":"4563","date_created":"2018-12-11T12:09:30Z","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.","volume":2404,"date_updated":"2023-06-05T07:38:10Z","author":[{"full_name":"Chakrabarti, Arindam","last_name":"Chakrabarti","first_name":"Arindam"},{"first_name":"Luca","last_name":"De Alfaro","full_name":"De Alfaro, Luca"},{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger","first_name":"Thomas A","full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724"},{"full_name":"Jurdziński, Marcin","first_name":"Marcin","last_name":"Jurdziński"},{"full_name":"Mang, Freddy","first_name":"Freddy","last_name":"Mang"}]},{"doi":"10.1007/3-540-45873-5_13","abstract":[{"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.","lang":"eng"}],"publication":"Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"conference","title":"A comparison of control problems for timed and hybrid systems","year":"2002","publication_identifier":{"isbn":["9783540433217"]},"publication_status":"published","date_published":"2002-03-14T00:00:00Z","publisher":"Springer","quality_controlled":"1","page":"134 - 148","article_processing_charge":"No","language":[{"iso":"eng"}],"alternative_title":["LNCS"],"extern":"1","status":"public","oa_version":"None","publist_id":"144","citation":{"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.","apa":"Cassez, F., Henzinger, T. A., &#38; Raskin, J. (2002). A comparison of control problems for timed and hybrid systems. In <i>Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control</i> (Vol. 2289, pp. 134–148). Stanford, CA, USA: Springer. <a href=\"https://doi.org/10.1007/3-540-45873-5_13\">https://doi.org/10.1007/3-540-45873-5_13</a>","mla":"Cassez, Franck, et al. “A Comparison of Control Problems for Timed and Hybrid Systems.” <i>Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control</i>, vol. 2289, Springer, 2002, pp. 134–48, doi:<a href=\"https://doi.org/10.1007/3-540-45873-5_13\">10.1007/3-540-45873-5_13</a>.","chicago":"Cassez, Franck, Thomas A Henzinger, and Jean Raskin. “A Comparison of Control Problems for Timed and Hybrid Systems.” In <i>Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control</i>, 2289:134–48. Springer, 2002. <a href=\"https://doi.org/10.1007/3-540-45873-5_13\">https://doi.org/10.1007/3-540-45873-5_13</a>.","ama":"Cassez F, Henzinger TA, Raskin J. A comparison of control problems for timed and hybrid systems. In: <i>Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control</i>. Vol 2289. Springer; 2002:134-148. doi:<a href=\"https://doi.org/10.1007/3-540-45873-5_13\">10.1007/3-540-45873-5_13</a>","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.","ieee":"F. Cassez, T. A. Henzinger, and J. Raskin, “A comparison of control problems for timed and hybrid systems,” in <i>Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control</i>, Stanford, CA, USA, 2002, vol. 2289, 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"},"scopus_import":"1","month":"03","day":"14","intvolume":"      2289","date_updated":"2023-06-02T10:29:10Z","author":[{"full_name":"Cassez, Franck","first_name":"Franck","last_name":"Cassez"},{"orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A"},{"last_name":"Raskin","first_name":"Jean","full_name":"Raskin, Jean"}],"_id":"4565","date_created":"2018-12-11T12:09:30Z","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.","volume":2289},{"issue":"5","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.","volume":49,"_id":"4595","date_created":"2018-12-11T12:09:40Z","article_type":"original","author":[{"full_name":"Alur, Rajeev","last_name":"Alur","first_name":"Rajeev"},{"orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A"},{"last_name":"Kupferman","first_name":"Orna","full_name":"Kupferman, Orna"}],"date_updated":"2023-06-02T10:07:22Z","day":"01","intvolume":"        49","month":"09","citation":{"ieee":"R. Alur, T. A. Henzinger, and O. Kupferman, “Alternating-time temporal logic,” <i>Journal of the ACM</i>, 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.","chicago":"Alur, Rajeev, Thomas A Henzinger, and Orna Kupferman. “Alternating-Time Temporal Logic.” <i>Journal of the ACM</i>. ACM, 2002. <a href=\"https://doi.org/10.1145/585265.585270\">https://doi.org/10.1145/585265.585270</a>.","ama":"Alur R, Henzinger TA, Kupferman O. Alternating-time temporal logic. <i>Journal of the ACM</i>. 2002;49(5):672-713. doi:<a href=\"https://doi.org/10.1145/585265.585270\">10.1145/585265.585270</a>","apa":"Alur, R., Henzinger, T. A., &#38; Kupferman, O. (2002). Alternating-time temporal logic. <i>Journal of the ACM</i>. ACM. <a href=\"https://doi.org/10.1145/585265.585270\">https://doi.org/10.1145/585265.585270</a>","mla":"Alur, Rajeev, et al. “Alternating-Time Temporal Logic.” <i>Journal of the ACM</i>, vol. 49, no. 5, ACM, 2002, pp. 672–713, doi:<a href=\"https://doi.org/10.1145/585265.585270\">10.1145/585265.585270</a>.","short":"R. Alur, T.A. Henzinger, O. Kupferman, Journal of the ACM 49 (2002) 672–713."},"scopus_import":"1","extern":"1","status":"public","oa_version":"None","publist_id":"110","article_processing_charge":"No","language":[{"iso":"eng"}],"publisher":"ACM","quality_controlled":"1","page":"672 - 713","publication_status":"published","publication_identifier":{"issn":["0004-5411"]},"year":"2002","date_published":"2002-09-01T00:00:00Z","type":"journal_article","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","title":"Alternating-time temporal logic","abstract":[{"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 &quot;eventually&quot; 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.","lang":"eng"}],"publication":"Journal of the ACM","doi":"10.1145/585265.585270"},{"year":"2002","publication_identifier":{"isbn":["9783540443070"]},"publication_status":"published","date_published":"2002-10-24T00:00:00Z","quality_controlled":"1","publisher":"ACM","page":"108 - 122","article_processing_charge":"No","language":[{"iso":"eng"}],"alternative_title":["LNCS"],"oa_version":"None","status":"public","extern":"1","publist_id":"76","doi":"10.1007/3-540-45828-X_9","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."}],"publication":"Proceedings of the 2nd International Conference on Embedded Software","title":"Timed interfaces","type":"conference","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","date_updated":"2023-06-02T10:00:32Z","author":[{"last_name":"De Alfaro","first_name":"Luca","full_name":"De Alfaro, Luca"},{"orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A","first_name":"Thomas A","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Stoelinga, Mariëlle","first_name":"Mariëlle","last_name":"Stoelinga"}],"date_created":"2018-12-11T12:09:51Z","_id":"4631","volume":2491,"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.","citation":{"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.","ama":"De Alfaro L, Henzinger TA, Stoelinga M. Timed interfaces. In: <i>Proceedings of the 2nd International Conference on Embedded Software</i>. Vol 2491. ACM; 2002:108-122. doi:<a href=\"https://doi.org/10.1007/3-540-45828-X_9\">10.1007/3-540-45828-X_9</a>","chicago":"De Alfaro, Luca, Thomas A Henzinger, and Mariëlle Stoelinga. “Timed Interfaces.” In <i>Proceedings of the 2nd International Conference on Embedded Software</i>, 2491:108–22. ACM, 2002. <a href=\"https://doi.org/10.1007/3-540-45828-X_9\">https://doi.org/10.1007/3-540-45828-X_9</a>.","short":"L. De Alfaro, T.A. Henzinger, M. Stoelinga, in:, Proceedings of the 2nd International Conference on Embedded Software, ACM, 2002, pp. 108–122.","apa":"De Alfaro, L., Henzinger, T. A., &#38; Stoelinga, M. (2002). Timed interfaces. In <i>Proceedings of the 2nd International Conference on Embedded Software</i> (Vol. 2491, pp. 108–122). Grenoble, France: ACM. <a href=\"https://doi.org/10.1007/3-540-45828-X_9\">https://doi.org/10.1007/3-540-45828-X_9</a>","mla":"De Alfaro, Luca, et al. “Timed Interfaces.” <i>Proceedings of the 2nd International Conference on Embedded Software</i>, vol. 2491, ACM, 2002, pp. 108–22, doi:<a href=\"https://doi.org/10.1007/3-540-45828-X_9\">10.1007/3-540-45828-X_9</a>.","ieee":"L. De Alfaro, T. A. Henzinger, and M. Stoelinga, “Timed interfaces,” in <i>Proceedings of the 2nd International Conference on Embedded Software</i>, Grenoble, France, 2002, vol. 2491, pp. 108–122."},"conference":{"end_date":"2002-10-09","location":"Grenoble, France","name":"EMSOFT: Embedded Software ","start_date":"2002-10-07"},"month":"10","intvolume":"      2491","day":"24"},{"type":"journal_article","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","day":"31","title":"Antagonistic pathways in neurons exposed to body fluid regulate social feeding in Caenorhabditis elegans","intvolume":"       419","month":"10","pmid":1,"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."}],"external_id":{"pmid":["12410311"]},"publication":"Nature","citation":{"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.","chicago":"Coates, Juliet C., and Mario de Bono. “Antagonistic Pathways in Neurons Exposed to Body Fluid Regulate Social Feeding in Caenorhabditis Elegans.” <i>Nature</i>. Springer Nature, 2002. <a href=\"https://doi.org/10.1038/nature01170\">https://doi.org/10.1038/nature01170</a>.","ama":"Coates JC, de Bono M. Antagonistic pathways in neurons exposed to body fluid regulate social feeding in Caenorhabditis elegans. <i>Nature</i>. 2002;419(6910):925-929. doi:<a href=\"https://doi.org/10.1038/nature01170\">10.1038/nature01170</a>","mla":"Coates, Juliet C., and Mario de Bono. “Antagonistic Pathways in Neurons Exposed to Body Fluid Regulate Social Feeding in Caenorhabditis Elegans.” <i>Nature</i>, vol. 419, no. 6910, Springer Nature, 2002, pp. 925–29, doi:<a href=\"https://doi.org/10.1038/nature01170\">10.1038/nature01170</a>.","short":"J.C. Coates, M. de Bono, Nature 419 (2002) 925–929.","apa":"Coates, J. C., &#38; de Bono, M. (2002). Antagonistic pathways in neurons exposed to body fluid regulate social feeding in Caenorhabditis elegans. <i>Nature</i>. Springer Nature. <a href=\"https://doi.org/10.1038/nature01170\">https://doi.org/10.1038/nature01170</a>","ieee":"J. C. Coates and M. de Bono, “Antagonistic pathways in neurons exposed to body fluid regulate social feeding in Caenorhabditis elegans,” <i>Nature</i>, vol. 419, no. 6910. Springer Nature, pp. 925–929, 2002."},"doi":"10.1038/nature01170","status":"public","extern":"1","oa_version":"None","issue":"6910","volume":419,"_id":"6158","date_created":"2019-03-21T10:09:20Z","language":[{"iso":"eng"}],"publisher":"Springer Nature","author":[{"full_name":"Coates, Juliet C.","first_name":"Juliet C.","last_name":"Coates"},{"full_name":"de Bono, Mario","orcid":"0000-0001-8347-0443","first_name":"Mario","id":"4E3FF80E-F248-11E8-B48F-1D18A9856A87","last_name":"de Bono"}],"quality_controlled":"1","page":"925-929","date_updated":"2021-01-12T08:06:26Z","publication_identifier":{"issn":["0028-0836"]},"publication_status":"published","year":"2002","date_published":"2002-10-31T00:00:00Z"},{"language":[{"iso":"eng"}],"date_created":"2019-03-21T10:27:04Z","_id":"6159","oa_version":"None","extern":"1","status":"public","volume":419,"issue":"6910","year":"2002","publication_status":"published","publication_identifier":{"issn":["0028-0836"]},"date_updated":"2021-01-12T08:06:27Z","date_published":"2002-10-31T00:00:00Z","quality_controlled":"1","publisher":"Springer Nature","author":[{"full_name":"de Bono, Mario","orcid":"0000-0001-8347-0443","first_name":"Mario","id":"4E3FF80E-F248-11E8-B48F-1D18A9856A87","last_name":"de Bono"},{"full_name":"Tobin, David M.","last_name":"Tobin","first_name":"David M."},{"first_name":"M. Wayne","last_name":"Davis","full_name":"Davis, M. Wayne"},{"first_name":"Leon","last_name":"Avery","full_name":"Avery, Leon"},{"last_name":"Bargmann","first_name":"Cornelia I.","full_name":"Bargmann, Cornelia I."}],"page":"899-903","pmid":1,"month":"10","intvolume":"       419","title":"Social feeding in Caenorhabditis elegans is induced by neurons that detect aversive stimuli","type":"journal_article","day":"31","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","citation":{"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,” <i>Nature</i>, vol. 419, no. 6910. Springer Nature, pp. 899–903, 2002.","mla":"de Bono, Mario, et al. “Social Feeding in Caenorhabditis Elegans Is Induced by Neurons That Detect Aversive Stimuli.” <i>Nature</i>, vol. 419, no. 6910, Springer Nature, 2002, pp. 899–903, doi:<a href=\"https://doi.org/10.1038/nature01169\">10.1038/nature01169</a>.","short":"M. de Bono, D.M. Tobin, M.W. Davis, L. Avery, C.I. Bargmann, Nature 419 (2002) 899–903.","apa":"de Bono, M., Tobin, D. M., Davis, M. W., Avery, L., &#38; Bargmann, C. I. (2002). Social feeding in Caenorhabditis elegans is induced by neurons that detect aversive stimuli. <i>Nature</i>. Springer Nature. <a href=\"https://doi.org/10.1038/nature01169\">https://doi.org/10.1038/nature01169</a>","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.","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. <i>Nature</i>. 2002;419(6910):899-903. doi:<a href=\"https://doi.org/10.1038/nature01169\">10.1038/nature01169</a>","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.” <i>Nature</i>. Springer Nature, 2002. <a href=\"https://doi.org/10.1038/nature01169\">https://doi.org/10.1038/nature01169</a>."},"doi":"10.1038/nature01169","external_id":{"pmid":["12410303"]},"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."}],"publication":"Nature"},{"issue":"1","volume":7,"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).","_id":"1451","date_created":"2018-12-11T11:52:06Z","author":[{"first_name":"Tamas","id":"4A0666D8-F248-11E8-B48F-1D18A9856A87","last_name":"Hausel","full_name":"Hausel, Tamas"},{"first_name":"Bernd","last_name":"Sturmfels","full_name":"Sturmfels, Bernd"}],"article_type":"original","date_updated":"2023-07-26T09:16:33Z","arxiv":1,"day":"01","intvolume":"         7","month":"01","external_id":{"arxiv":["math/0203096"]},"scopus_import":"1","citation":{"ieee":"T. Hausel and B. Sturmfels, “Toric hyperkähler varieties,” <i>Documenta Mathematica</i>, vol. 7, no. 1. Deutsche Mathematiker Vereinigung, pp. 495–534, 2002.","apa":"Hausel, T., &#38; Sturmfels, B. (2002). Toric hyperkähler varieties. <i>Documenta Mathematica</i>. Deutsche Mathematiker Vereinigung. <a href=\"https://doi.org/10.4171/DM/130\">https://doi.org/10.4171/DM/130</a>","mla":"Hausel, Tamás, and Bernd Sturmfels. “Toric Hyperkähler Varieties.” <i>Documenta Mathematica</i>, vol. 7, no. 1, Deutsche Mathematiker Vereinigung, 2002, pp. 495–534, doi:<a href=\"https://doi.org/10.4171/DM/130\">10.4171/DM/130</a>.","short":"T. Hausel, B. Sturmfels, Documenta Mathematica 7 (2002) 495–534.","ista":"Hausel T, Sturmfels B. 2002. Toric hyperkähler varieties. Documenta Mathematica. 7(1), 495–534.","chicago":"Hausel, Tamás, and Bernd Sturmfels. “Toric Hyperkähler Varieties.” <i>Documenta Mathematica</i>. Deutsche Mathematiker Vereinigung, 2002. <a href=\"https://doi.org/10.4171/DM/130\">https://doi.org/10.4171/DM/130</a>.","ama":"Hausel T, Sturmfels B. Toric hyperkähler varieties. <i>Documenta Mathematica</i>. 2002;7(1):495-534. doi:<a href=\"https://doi.org/10.4171/DM/130\">10.4171/DM/130</a>"},"oa":1,"publist_id":"5741","status":"public","extern":"1","oa_version":"Published Version","language":[{"iso":"eng"}],"article_processing_charge":"No","page":"495 - 534","publisher":"Deutsche Mathematiker Vereinigung","quality_controlled":"1","date_published":"2002-01-01T00:00:00Z","publication_status":"published","publication_identifier":{"issn":["1431-0635"]},"year":"2002","main_file_link":[{"url":"https://ems.press/journals/dm/articles/8965058","open_access":"1"}],"type":"journal_article","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","title":"Toric hyperkähler varieties","publication":"Documenta Mathematica","abstract":[{"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.","lang":"eng"}],"doi":"10.4171/DM/130"},{"doi":"10.1074/jbc.m107372200","abstract":[{"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.","lang":"eng"}],"publication":"Journal of Biological Chemistry","ddc":["570"],"file":[{"content_type":"application/pdf","access_level":"open_access","creator":"alisjak","checksum":"13abe20f78eb37ab62beb006f62c69b7","date_created":"2023-08-01T12:44:09Z","relation":"main_file","file_size":798920,"file_id":"13439","date_updated":"2023-08-01T12:44:09Z","file_name":"2002_JBC_Fuerst.pdf","success":1}],"type":"journal_article","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","title":"ICln Ion channel splice variants in Caenorhabditis elegans","publication_status":"published","year":"2002","publication_identifier":{"issn":["0021-9258"]},"date_published":"2002-02-08T00:00:00Z","publisher":"Elsevier","quality_controlled":"1","page":"4435-4445","article_processing_charge":"No","language":[{"iso":"eng"}],"extern":"1","status":"public","oa_version":"Published Version","oa":1,"has_accepted_license":"1","citation":{"ieee":"J. Fürst <i>et al.</i>, “ICln Ion channel splice variants in Caenorhabditis elegans,” <i>Journal of Biological Chemistry</i>, vol. 277, no. 6. Elsevier, pp. 4435–4445, 2002.","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. <i>Journal of Biological Chemistry</i>. Elsevier. <a href=\"https://doi.org/10.1074/jbc.m107372200\">https://doi.org/10.1074/jbc.m107372200</a>","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.","mla":"Fürst, Johannes, et al. “ICln Ion Channel Splice Variants in Caenorhabditis Elegans.” <i>Journal of Biological Chemistry</i>, vol. 277, no. 6, Elsevier, 2002, pp. 4435–45, doi:<a href=\"https://doi.org/10.1074/jbc.m107372200\">10.1074/jbc.m107372200</a>.","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.","ama":"Fürst J, Ritter M, Rudzki J, et al. ICln Ion channel splice variants in Caenorhabditis elegans. <i>Journal of Biological Chemistry</i>. 2002;277(6):4435-4445. doi:<a href=\"https://doi.org/10.1074/jbc.m107372200\">10.1074/jbc.m107372200</a>","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.” <i>Journal of Biological Chemistry</i>. Elsevier, 2002. <a href=\"https://doi.org/10.1074/jbc.m107372200\">https://doi.org/10.1074/jbc.m107372200</a>."},"scopus_import":"1","external_id":{"pmid":["11706026"]},"month":"02","pmid":1,"day":"08","intvolume":"       277","tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"date_updated":"2023-08-01T12:55:54Z","author":[{"full_name":"Fürst, Johannes","last_name":"Fürst","first_name":"Johannes"},{"full_name":"Ritter, Markus","last_name":"Ritter","first_name":"Markus"},{"last_name":"Rudzki","first_name":"Jakob","full_name":"Rudzki, Jakob"},{"full_name":"Danzl, Johann G","orcid":"0000-0001-8559-3973","first_name":"Johann G","id":"42EFD3B6-F248-11E8-B48F-1D18A9856A87","last_name":"Danzl"},{"full_name":"Gschwentner, Martin","last_name":"Gschwentner","first_name":"Martin"},{"last_name":"Scandella","first_name":"Elke","full_name":"Scandella, Elke"},{"last_name":"Jakab","first_name":"Martin","full_name":"Jakab, Martin"},{"last_name":"König","first_name":"Matthias","full_name":"König, Matthias"},{"first_name":"Bernhard","last_name":"Oehl","full_name":"Oehl, Bernhard"},{"first_name":"Florian","last_name":"Lang","full_name":"Lang, Florian"},{"full_name":"Deetjen, Peter","last_name":"Deetjen","first_name":"Peter"},{"first_name":"Markus","last_name":"Paulmichl","full_name":"Paulmichl, Markus"}],"article_type":"original","keyword":["Cell Biology","Molecular Biology","Biochemistry"],"_id":"13438","date_created":"2023-08-01T12:37:50Z","issue":"6","file_date_updated":"2023-08-01T12:44:09Z","volume":277,"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"},{"oa":1,"status":"public","extern":"1","oa_version":"Published Version","language":[{"iso":"eng"}],"article_processing_charge":"No","page":"47-74","publisher":"IWA Publishing","quality_controlled":"1","date_published":"2002-02-01T00:00:00Z","publication_status":"published","publication_identifier":{"issn":["0029-1277"],"eissn":["2224-7955"]},"year":"2002","main_file_link":[{"url":"https://doi.org/10.2166/nh.2002.0004","open_access":"1"}],"type":"journal_article","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","title":"Modelling mountainous water systems between learning and speculating looking for challenges","publication":"Hydrology Research","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."}],"doi":"10.2166/nh.2002.0004","issue":"1","volume":33,"_id":"12659","date_created":"2023-02-20T08:19:02Z","author":[{"full_name":"Burlando, Paolo","first_name":"Paolo","last_name":"Burlando"},{"full_name":"Pellicciotti, Francesca","first_name":"Francesca","id":"b28f055a-81ea-11ed-b70c-a9fe7f7b0e70","last_name":"Pellicciotti"},{"full_name":"Strasser, Ulrich","first_name":"Ulrich","last_name":"Strasser"}],"article_type":"original","date_updated":"2023-02-20T08:30:15Z","day":"01","intvolume":"        33","month":"02","scopus_import":"1","citation":{"ieee":"P. Burlando, F. Pellicciotti, and U. Strasser, “Modelling mountainous water systems between learning and speculating looking for challenges,” <i>Hydrology Research</i>, vol. 33, no. 1. IWA Publishing, pp. 47–74, 2002.","apa":"Burlando, P., Pellicciotti, F., &#38; Strasser, U. (2002). Modelling mountainous water systems between learning and speculating looking for challenges. <i>Hydrology Research</i>. IWA Publishing. <a href=\"https://doi.org/10.2166/nh.2002.0004\">https://doi.org/10.2166/nh.2002.0004</a>","mla":"Burlando, Paolo, et al. “Modelling Mountainous Water Systems between Learning and Speculating Looking for Challenges.” <i>Hydrology Research</i>, vol. 33, no. 1, IWA Publishing, 2002, pp. 47–74, doi:<a href=\"https://doi.org/10.2166/nh.2002.0004\">10.2166/nh.2002.0004</a>.","short":"P. Burlando, F. Pellicciotti, U. Strasser, Hydrology Research 33 (2002) 47–74.","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.","ama":"Burlando P, Pellicciotti F, Strasser U. Modelling mountainous water systems between learning and speculating looking for challenges. <i>Hydrology Research</i>. 2002;33(1):47-74. doi:<a href=\"https://doi.org/10.2166/nh.2002.0004\">10.2166/nh.2002.0004</a>","chicago":"Burlando, Paolo, Francesca Pellicciotti, and Ulrich Strasser. “Modelling Mountainous Water Systems between Learning and Speculating Looking for Challenges.” <i>Hydrology Research</i>. IWA Publishing, 2002. <a href=\"https://doi.org/10.2166/nh.2002.0004\">https://doi.org/10.2166/nh.2002.0004</a>."}},{"title":"Observing structure, function and assembly of single proteins by AFM","type":"journal_article","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","publication":"Progress in Biophysics and Molecular Biology","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."}],"doi":"10.1016/S0079-6107(02)00009-3","publist_id":"2980","oa_version":"None","extern":"1","status":"public","language":[{"iso":"eng"}],"article_processing_charge":"No","page":"1 - 43","quality_controlled":"1","publisher":"Elsevier","date_published":"2002-05-01T00:00:00Z","publication_status":"published","publication_identifier":{"issn":["0079-6107"]},"year":"2002","intvolume":"        79","day":"01","pmid":1,"month":"05","external_id":{"pmid":["12225775"]},"scopus_import":"1","citation":{"ama":"Mueller D, Janovjak HL, Lehto T, Kuerschner L, Anderson K. Observing structure, function and assembly of single proteins by AFM. <i>Progress in Biophysics and Molecular Biology</i>. 2002;79(1-3):1-43. doi:<a href=\"https://doi.org/10.1016/S0079-6107(02)00009-3\">10.1016/S0079-6107(02)00009-3</a>","chicago":"Mueller, Daniel, Harald L Janovjak, Tiina Lehto, Lars Kuerschner, and Kurt Anderson. “Observing Structure, Function and Assembly of Single Proteins by AFM.” <i>Progress in Biophysics and Molecular Biology</i>. Elsevier, 2002. <a href=\"https://doi.org/10.1016/S0079-6107(02)00009-3\">https://doi.org/10.1016/S0079-6107(02)00009-3</a>.","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.","apa":"Mueller, D., Janovjak, H. L., Lehto, T., Kuerschner, L., &#38; Anderson, K. (2002). Observing structure, function and assembly of single proteins by AFM. <i>Progress in Biophysics and Molecular Biology</i>. Elsevier. <a href=\"https://doi.org/10.1016/S0079-6107(02)00009-3\">https://doi.org/10.1016/S0079-6107(02)00009-3</a>","mla":"Mueller, Daniel, et al. “Observing Structure, Function and Assembly of Single Proteins by AFM.” <i>Progress in Biophysics and Molecular Biology</i>, vol. 79, no. 1–3, Elsevier, 2002, pp. 1–43, doi:<a href=\"https://doi.org/10.1016/S0079-6107(02)00009-3\">10.1016/S0079-6107(02)00009-3</a>.","short":"D. Mueller, H.L. Janovjak, T. Lehto, L. Kuerschner, K. Anderson, Progress in Biophysics and Molecular Biology 79 (2002) 1–43.","ieee":"D. Mueller, H. L. Janovjak, T. Lehto, L. Kuerschner, and K. Anderson, “Observing structure, function and assembly of single proteins by AFM,” <i>Progress in Biophysics and Molecular Biology</i>, vol. 79, no. 1–3. Elsevier, pp. 1–43, 2002."},"volume":79,"issue":"1-3","date_created":"2018-12-11T12:03:14Z","_id":"3421","article_type":"review","author":[{"full_name":"Mueller, Daniel","first_name":"Daniel","last_name":"Mueller"},{"id":"33BA6C30-F248-11E8-B48F-1D18A9856A87","last_name":"Janovjak","first_name":"Harald L","full_name":"Janovjak, Harald L","orcid":"0000-0002-8023-9315"},{"first_name":"Tiina","last_name":"Lehto","full_name":"Lehto, Tiina"},{"full_name":"Kuerschner, Lars","last_name":"Kuerschner","first_name":"Lars"},{"full_name":"Anderson, Kurt","first_name":"Kurt","last_name":"Anderson"}],"date_updated":"2023-07-17T11:36:32Z"},{"status":"public","extern":"1","oa_version":"None","publist_id":"2979","article_processing_charge":"No","language":[{"iso":"eng"}],"publisher":"Informa Healthcare","quality_controlled":"1","page":"1372 - 1379","year":"2002","publication_identifier":{"issn":["0736-6205"]},"publication_status":"published","date_published":"2002-06-01T00:00:00Z","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"journal_article","title":"Processing of gene expression data generated by quantitative real-time RT-PCR","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."}],"publication":"Biotechniques","issue":"6","volume":32,"_id":"3422","date_created":"2018-12-11T12:03:15Z","article_type":"original","author":[{"full_name":"Müller, Patrick","first_name":"Patrick","last_name":"Müller"},{"last_name":"Janovjak","id":"33BA6C30-F248-11E8-B48F-1D18A9856A87","first_name":"Harald L","orcid":"0000-0002-8023-9315","full_name":"Janovjak, Harald L"},{"first_name":"Andre","last_name":"Miserez","full_name":"Miserez, Andre"},{"last_name":"Dobbie","first_name":"Zuzana","full_name":"Dobbie, Zuzana"}],"date_updated":"2023-07-17T11:29:06Z","day":"01","intvolume":"        32","month":"06","pmid":1,"external_id":{"pmid":["12074169"]},"citation":{"ieee":"P. Müller, H. L. Janovjak, A. Miserez, and Z. Dobbie, “Processing of gene expression data generated by quantitative real-time RT-PCR,” <i>Biotechniques</i>, vol. 32, no. 6. Informa Healthcare, pp. 1372–1379, 2002.","mla":"Müller, Patrick, et al. “Processing of Gene Expression Data Generated by Quantitative Real-Time RT-PCR.” <i>Biotechniques</i>, vol. 32, no. 6, Informa Healthcare, 2002, pp. 1372–79.","apa":"Müller, P., Janovjak, H. L., Miserez, A., &#38; Dobbie, Z. (2002). Processing of gene expression data generated by quantitative real-time RT-PCR. <i>Biotechniques</i>. Informa Healthcare.","short":"P. Müller, H.L. Janovjak, A. Miserez, Z. Dobbie, Biotechniques 32 (2002) 1372–1379.","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.","ama":"Müller P, Janovjak HL, Miserez A, Dobbie Z. Processing of gene expression data generated by quantitative real-time RT-PCR. <i>Biotechniques</i>. 2002;32(6):1372-1379.","chicago":"Müller, Patrick, Harald L Janovjak, Andre Miserez, and Zuzana Dobbie. “Processing of Gene Expression Data Generated by Quantitative Real-Time RT-PCR.” <i>Biotechniques</i>. Informa Healthcare, 2002."},"scopus_import":"1"},{"title":"The percolation interpretation of the nuclear fragmentation phase transition","day":"01","type":"conference","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","month":"01","publication":"Proceedings of the 18th Winter Workshop on Nuclear Dynamics","conference":{"name":"Winter Workshop on Nuclear Dynamics","start_date":"2002-01-20","location":"Nassau, Bahamas","end_date":"2002-01-22"},"citation":{"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.","mla":"Bauer, Wolfgang, et al. “The Percolation Interpretation of the Nuclear Fragmentation Phase Transition.” <i>Proceedings of the 18th Winter Workshop on Nuclear Dynamics</i>, EP Systema, 2002, pp. 111–18.","apa":"Bauer, W., Bollenbach, M. T., Kleine Berkenbusch, M., &#38; Harreis, H. (2002). The percolation interpretation of the nuclear fragmentation phase transition. In <i>Proceedings of the 18th Winter Workshop on Nuclear Dynamics</i> (pp. 111–118). Nassau, Bahamas: EP Systema.","ama":"Bauer W, Bollenbach MT, Kleine Berkenbusch M, Harreis H. The percolation interpretation of the nuclear fragmentation phase transition. In: <i>Proceedings of the 18th Winter Workshop on Nuclear Dynamics</i>. EP Systema; 2002: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.","chicago":"Bauer, Wolfgang, Mark Tobias Bollenbach, Marko Kleine Berkenbusch, and Holger Harreis. “The Percolation Interpretation of the Nuclear Fragmentation Phase Transition.” In <i>Proceedings of the 18th Winter Workshop on Nuclear Dynamics</i>, 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 <i>Proceedings of the 18th Winter Workshop on Nuclear Dynamics</i>, Nassau, Bahamas, 2002, pp. 111–118."},"publist_id":"2978","oa_version":"None","status":"public","extern":"1","date_created":"2018-12-11T12:03:15Z","language":[{"iso":"eng"}],"_id":"3423","article_processing_charge":"No","page":"111 - 118","author":[{"first_name":"Wolfgang","last_name":"Bauer","full_name":"Bauer, Wolfgang"},{"first_name":"Mark Tobias","last_name":"Bollenbach","id":"3E6DB97A-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-4398-476X","full_name":"Bollenbach, Mark Tobias"},{"last_name":"Kleine Berkenbusch","first_name":"Marko","full_name":"Kleine Berkenbusch, Marko"},{"full_name":"Harreis, Holger","first_name":"Holger","last_name":"Harreis"}],"publisher":"EP Systema","date_published":"2002-01-01T00:00:00Z","publication_status":"published","year":"2002","date_updated":"2023-07-17T11:15:14Z"},{"month":"11","title":"3d supernovae collapse calculations","intvolume":"       644","day":"26","type":"conference","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","doi":"10.1063/1.1523196 ","conference":{"location":"Catania, Italy","start_date":"2002-06-10","name":"CRIS: Catania Relativistic Ion Studies ","end_date":"2002-06-14"},"citation":{"mla":"Bollenbach, Mark Tobias, and Wolfgang Bauer. <i>3d Supernovae Collapse Calculations</i>. Vol. 644, American Institute of Physics, 2002, pp. 219–32, doi:<a href=\"https://doi.org/10.1063/1.1523196 \">10.1063/1.1523196 </a>.","apa":"Bollenbach, M. T., &#38; 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. <a href=\"https://doi.org/10.1063/1.1523196 \">https://doi.org/10.1063/1.1523196 </a>","short":"M.T. Bollenbach, W. Bauer, in:, American Institute of Physics, 2002, 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.","ama":"Bollenbach MT, Bauer W. 3d supernovae collapse calculations. In: Vol 644. American Institute of Physics; 2002:219-232. doi:<a href=\"https://doi.org/10.1063/1.1523196 \">10.1063/1.1523196 </a>","chicago":"Bollenbach, Mark Tobias, and Wolfgang Bauer. “3d Supernovae Collapse Calculations,” 644:219–32. American Institute of Physics, 2002. <a href=\"https://doi.org/10.1063/1.1523196 \">https://doi.org/10.1063/1.1523196 </a>.","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."},"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"}],"date_created":"2018-12-11T12:03:15Z","alternative_title":["Exotic Clustering, American Institute of Physics Conference Proceedings"],"language":[{"iso":"eng"}],"_id":"3424","article_processing_charge":"No","volume":644,"publist_id":"2977","oa_version":"None","status":"public","extern":"1","date_published":"2002-11-26T00:00:00Z","year":"2002","publication_status":"published","publication_identifier":{"isbn":["9781510832008"]},"date_updated":"2023-07-17T11:05:27Z","page":"219 - 232","quality_controlled":"1","author":[{"orcid":"0000-0003-4398-476X","full_name":"Bollenbach, Mark Tobias","last_name":"Bollenbach","id":"3E6DB97A-F248-11E8-B48F-1D18A9856A87","first_name":"Mark Tobias"},{"first_name":"Wolfgang","last_name":"Bauer","full_name":"Bauer, Wolfgang"}],"publisher":"American Institute of Physics"},{"citation":{"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.","short":"S. Mallick, K. Chatterjee, A. Merchant, P. Dasgupta, in:, Elsevier, 2002.","apa":"Mallick, S., Chatterjee, K., Merchant, A., &#38; Dasgupta, P. (2002). Implementation of shape grammar for plan analysis. Presented at the IT-Built: Information Technology For Built Environment, Elsevier.","mla":"Mallick, Sanhita, et al. <i>Implementation of Shape Grammar for Plan Analysis</i>. Elsevier, 2002.","ama":"Mallick S, Chatterjee K, Merchant A, Dasgupta P. Implementation of shape grammar for plan analysis. In: Elsevier; 2002.","chicago":"Mallick, Sanhita, Krishnendu Chatterjee, Arif Merchant, and Pallab Dasgupta. “Implementation of Shape Grammar for Plan Analysis.” Elsevier, 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."},"conference":{"name":"IT-Built: Information Technology For Built Environment"},"month":"01","type":"conference","day":"15","title":"Implementation of shape grammar for plan analysis","date_updated":"2021-01-12T07:43:31Z","publication_status":"published","year":"2002","date_published":"2002-01-15T00:00:00Z","publisher":"Elsevier","author":[{"full_name":"Mallick, Sanhita","last_name":"Mallick","first_name":"Sanhita"},{"full_name":"Krishnendu Chatterjee","orcid":"0000-0002-4561-241X","first_name":"Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","last_name":"Chatterjee"},{"last_name":"Merchant","first_name":"Arif","full_name":"Merchant, Arif N"},{"first_name":"Pallab","last_name":"Dasgupta","full_name":"Dasgupta, Pallab"}],"quality_controlled":0,"_id":"3448","date_created":"2018-12-11T12:03:23Z","extern":1,"status":"public","publist_id":"2939"},{"month":"01","pmid":1,"day":"01","intvolume":"       443","scopus_import":"1","citation":{"ieee":"J. Geiger <i>et al.</i>, “Patch-clamp recording in brain slices with improved slicer technology,” <i>Pflugers Archiv : European Journal of Physiology</i>, vol. 443, no. 3. Springer, pp. 491–501, 2002.","ama":"Geiger J, Bischofberger J, Vida I, et al. Patch-clamp recording in brain slices with improved slicer technology. <i>Pflugers Archiv : European Journal of Physiology</i>. 2002;443(3):491-501. doi:<a href=\"https://doi.org/10.1007/s00424-001-0735-3\">10.1007/s00424-001-0735-3</a>","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.” <i>Pflugers Archiv : European Journal of Physiology</i>. Springer, 2002. <a href=\"https://doi.org/10.1007/s00424-001-0735-3\">https://doi.org/10.1007/s00424-001-0735-3</a>.","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.","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. <i>Pflugers Archiv : European Journal of Physiology</i>. Springer. <a href=\"https://doi.org/10.1007/s00424-001-0735-3\">https://doi.org/10.1007/s00424-001-0735-3</a>","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.","mla":"Geiger, Jörg, et al. “Patch-Clamp Recording in Brain Slices with Improved Slicer Technology.” <i>Pflugers Archiv : European Journal of Physiology</i>, vol. 443, no. 3, Springer, 2002, pp. 491–501, doi:<a href=\"https://doi.org/10.1007/s00424-001-0735-3\">10.1007/s00424-001-0735-3</a>."},"external_id":{"pmid":["11810221"]},"_id":"3497","date_created":"2018-12-11T12:03:38Z","issue":"3","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).","volume":443,"date_updated":"2023-07-17T07:36:37Z","article_type":"original","author":[{"full_name":"Geiger, Jörg","last_name":"Geiger","first_name":"Jörg"},{"last_name":"Bischofberger","first_name":"Joseph","full_name":"Bischofberger, Joseph"},{"last_name":"Vida","first_name":"Imre","full_name":"Vida, Imre"},{"full_name":"Fröbe, Ulrich","first_name":"Ulrich","last_name":"Fröbe"},{"full_name":"Pfitzinger, S","first_name":"S","last_name":"Pfitzinger"},{"first_name":"H.","last_name":"Weber","full_name":"Weber, H."},{"full_name":"Haverkampf, Klaus","last_name":"Haverkampf","first_name":"Klaus"},{"id":"353C1B58-F248-11E8-B48F-1D18A9856A87","last_name":"Jonas","first_name":"Peter M","full_name":"Jonas, Peter M","orcid":"0000-0001-5001-4804"}],"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"journal_article","title":"Patch-clamp recording in brain slices with improved slicer technology","doi":"10.1007/s00424-001-0735-3","publication":"Pflugers Archiv : European Journal of Physiology","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 &lt;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."}],"language":[{"iso":"eng"}],"article_processing_charge":"No","publist_id":"2890","extern":"1","status":"public","oa_version":"None","date_published":"2002-01-01T00:00:00Z","year":"2002","publication_status":"published","publication_identifier":{"issn":["0031-6768"]},"page":"491 - 501","publisher":"Springer","quality_controlled":"1"},{"date_published":"2002-04-23T00:00:00Z","date_updated":"2022-01-05T14:09:36Z","year":"2002","author":[{"last_name":"Edelsbrunner","id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","first_name":"Herbert","orcid":"0000-0002-9823-6833","full_name":"Edelsbrunner, Herbert"},{"full_name":"Fu, Ping","last_name":"Fu","first_name":"Ping"}],"applicant":["Raindrop Geomagic, Inc."],"_id":"3508","date_created":"2018-12-11T12:03:42Z","article_processing_charge":"No","publist_id":"2879","oa":1,"status":"public","extern":"1","oa_version":"Published Version","ipc":"G16Z99/00 ; G06K9/28 ; G06T17/10 ; G06T17/20","citation":{"ieee":"H. Edelsbrunner and P. Fu, “Methods of generating three-dimensional digital models of objects by wrapping point cloud data points.” 2002.","mla":"Edelsbrunner, Herbert, and Ping Fu. <i>Methods of Generating Three-Dimensional Digital Models of Objects by Wrapping Point Cloud Data Points</i>. 2002.","short":"H. Edelsbrunner, P. Fu, (2002).","apa":"Edelsbrunner, H., &#38; Fu, P. (2002). Methods of generating three-dimensional digital models of objects by wrapping point cloud data points.","ista":"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.","ama":"Edelsbrunner H, Fu P. Methods of generating three-dimensional digital models of objects by wrapping point cloud data points. 2002."},"abstract":[{"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.","lang":"eng"}],"month":"04","main_file_link":[{"url":"https://patents.google.com/patent/US6377865B1","open_access":"1"}],"ipn":"US6377865B1","publication_date":"2002-04-23","day":"23","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","type":"patent","title":"Methods of generating three-dimensional digital models of objects by wrapping point cloud data points"},{"day":"01","intvolume":"        12","month":"09","pmid":1,"external_id":{"pmid":["12183388"]},"citation":{"mla":"Buzsáki, György, et al. “Homeostatic Maintenance of Neuronal Excitability by Burst Discharges in Vivo.” <i>Cerebral Cortex</i>, vol. 12, no. 9, Oxford University Press, 2002, pp. 893–99, doi:<a href=\"https://doi.org/10.1093/cercor/12.9.893\">10.1093/cercor/12.9.893</a>.","short":"G. Buzsáki, J.L. Csicsvari, G. Dragoi, K. Harris, D. Henze, H. Hirase, Cerebral Cortex 12 (2002) 893–899.","apa":"Buzsáki, G., Csicsvari, J. L., Dragoi, G., Harris, K., Henze, D., &#38; Hirase, H. (2002). Homeostatic maintenance of neuronal excitability by burst discharges in vivo. <i>Cerebral Cortex</i>. Oxford University Press. <a href=\"https://doi.org/10.1093/cercor/12.9.893\">https://doi.org/10.1093/cercor/12.9.893</a>","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.” <i>Cerebral Cortex</i>. Oxford University Press, 2002. <a href=\"https://doi.org/10.1093/cercor/12.9.893\">https://doi.org/10.1093/cercor/12.9.893</a>.","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.","ama":"Buzsáki G, Csicsvari JL, Dragoi G, Harris K, Henze D, Hirase H. Homeostatic maintenance of neuronal excitability by burst discharges in vivo. <i>Cerebral Cortex</i>. 2002;12(9):893-899. doi:<a href=\"https://doi.org/10.1093/cercor/12.9.893\">10.1093/cercor/12.9.893</a>","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,” <i>Cerebral Cortex</i>, vol. 12, no. 9. Oxford University Press, pp. 893–899, 2002."},"scopus_import":"1","issue":"9","volume":12,"_id":"3533","date_created":"2018-12-11T12:03:50Z","article_type":"original","author":[{"full_name":"Buzsáki, György","first_name":"György","last_name":"Buzsáki"},{"orcid":"0000-0002-5193-4036","full_name":"Csicsvari, Jozsef L","last_name":"Csicsvari","id":"3FA14672-F248-11E8-B48F-1D18A9856A87","first_name":"Jozsef L"},{"first_name":"George","last_name":"Dragoi","full_name":"Dragoi, George"},{"full_name":"Harris, Kenneth","first_name":"Kenneth","last_name":"Harris"},{"full_name":"Henze, D.","last_name":"Henze","first_name":"D."},{"full_name":"Hirase, Hajima","first_name":"Hajima","last_name":"Hirase"}],"date_updated":"2023-07-17T07:27:12Z","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"journal_article","title":"Homeostatic maintenance of neuronal excitability by burst discharges in vivo","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."}],"publication":"Cerebral Cortex","doi":"10.1093/cercor/12.9.893","status":"public","extern":"1","oa_version":"None","publist_id":"2851","article_processing_charge":"No","language":[{"iso":"eng"}],"publisher":"Oxford University Press","quality_controlled":"1","page":"893 - 899","publication_identifier":{"issn":["1047-3211"]},"year":"2002","publication_status":"published","date_published":"2002-09-01T00:00:00Z"},{"page":"1727 - 1750","quality_controlled":"1","publisher":"Genetics Society of America","date_published":"2002-08-01T00:00:00Z","publication_status":"published","publication_identifier":{"issn":["0016-6731"]},"year":"2002","oa":1,"publist_id":"2762","oa_version":"Published Version","extern":"1","status":"public","language":[{"iso":"eng"}],"article_processing_charge":"No","publication":"Genetics","abstract":[{"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 &quot;quasi-linkage equilibrium&quot; (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.","lang":"eng"}],"doi":"10.1093/genetics/161.4.1727","main_file_link":[{"url":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC1462196/","open_access":"1"}],"title":"General models of multilocus evolution","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"journal_article","article_type":"original","author":[{"last_name":"Kirkpatrick","first_name":"Mark","full_name":"Kirkpatrick, Mark"},{"full_name":"Johnson, Toby","first_name":"Toby","last_name":"Johnson"},{"id":"4880FE40-F248-11E8-B48F-1D18A9856A87","last_name":"Barton","first_name":"Nicholas H","full_name":"Barton, Nicholas H","orcid":"0000-0002-8548-5240"}],"date_updated":"2023-07-11T13:20:26Z","volume":161,"issue":"4","date_created":"2018-12-11T12:04:17Z","_id":"3621","external_id":{"pmid":["12196414"]},"scopus_import":"1","citation":{"ama":"Kirkpatrick M, Johnson T, Barton NH. General models of multilocus evolution. <i>Genetics</i>. 2002;161(4):1727-1750. doi:<a href=\"https://doi.org/10.1093/genetics/161.4.1727\">10.1093/genetics/161.4.1727</a>","ista":"Kirkpatrick M, Johnson T, Barton NH. 2002. General models of multilocus evolution. Genetics. 161(4), 1727–1750.","chicago":"Kirkpatrick, Mark, Toby Johnson, and Nicholas H Barton. “General Models of Multilocus Evolution.” <i>Genetics</i>. Genetics Society of America, 2002. <a href=\"https://doi.org/10.1093/genetics/161.4.1727\">https://doi.org/10.1093/genetics/161.4.1727</a>.","short":"M. Kirkpatrick, T. Johnson, N.H. Barton, Genetics 161 (2002) 1727–1750.","apa":"Kirkpatrick, M., Johnson, T., &#38; Barton, N. H. (2002). General models of multilocus evolution. <i>Genetics</i>. Genetics Society of America. <a href=\"https://doi.org/10.1093/genetics/161.4.1727\">https://doi.org/10.1093/genetics/161.4.1727</a>","mla":"Kirkpatrick, Mark, et al. “General Models of Multilocus Evolution.” <i>Genetics</i>, vol. 161, no. 4, Genetics Society of America, 2002, pp. 1727–50, doi:<a href=\"https://doi.org/10.1093/genetics/161.4.1727\">10.1093/genetics/161.4.1727</a>.","ieee":"M. Kirkpatrick, T. Johnson, and N. H. Barton, “General models of multilocus evolution,” <i>Genetics</i>, vol. 161, no. 4. Genetics Society of America, pp. 1727–1750, 2002."},"intvolume":"       161","day":"01","pmid":1,"month":"08"}]