TY - JOUR A1 - Kotliar, Konstantin A1 - Volkov, V. V. A1 - Koshits, I. N. A1 - Svetlova, O. V. T1 - Biomekhanicheskie osobennosti vzaimodeĭstviia drenazhno i akkomodatsionnoĭ reguliatornykh sistem glaza v norme i pri kontuzionnom podvyvikhe khrustalika / Volkov, V. V. ; Kotliar, K. E. ; Koshits, I. n. ; Svetlova, O. V. ; Smol´nikov, B. A. JF - Vestnik oftalmologii. 113 (1997), H. 3 Y1 - 1997 SN - 0042-465X N1 - Titelübersetzung: Biomechanical characteristics of interactions between the drainage and accommodation regulatory systems of the eye in health and in contusion lens subluxation ; Original in Russisch, English abstract SP - 5 EP - 7 PB - - ER - TY - JOUR A1 - Kowalski, Julia A1 - Linder, Peter A1 - Zierke, S. A1 - Wulfen, B. van A1 - Clemens, J. A1 - Konstantinidis, K. A1 - Ameres, G. A1 - Hoffmann, R. A1 - Mikucki, J. A1 - Tulaczyk, S. A1 - Funke, O. A1 - Blandfort, D. A1 - Espe, Clemens A1 - Feldmann, Marco A1 - Francke, Gero A1 - Hiecker, S. A1 - Plescher, Engelbert A1 - Schöngarth, Sarah A1 - Dachwald, Bernd A1 - Digel, Ilya A1 - Artmann, Gerhard A1 - Eliseev, D. A1 - Heinen, D. A1 - Scholz, F. A1 - Wiebusch, C. A1 - Macht, S. A1 - Bestmann, U. A1 - Reineking, T. A1 - Zetzsche, C. A1 - Schill, K. A1 - Förstner, R. A1 - Niedermeier, H. A1 - Szumski, A. A1 - Eissfeller, B. A1 - Naumann, U. A1 - Helbing, K. T1 - Navigation technology for exploration of glacier ice with maneuverable melting probes JF - Cold Regions Science and Technology N2 - The Saturnian moon Enceladus with its extensive water bodies underneath a thick ice sheet cover is a potential candidate for extraterrestrial life. Direct exploration of such extraterrestrial aquatic ecosystems requires advanced access and sampling technologies with a high level of autonomy. A new technological approach has been developed as part of the collaborative research project Enceladus Explorer (EnEx). The concept is based upon a minimally invasive melting probe called the IceMole. The force-regulated, heater-controlled IceMole is able to travel along a curved trajectory as well as upwards. Hence, it allows maneuvers which may be necessary for obstacle avoidance or target selection. Maneuverability, however, necessitates a sophisticated on-board navigation system capable of autonomous operations. The development of such a navigational system has been the focal part of the EnEx project. The original IceMole has been further developed to include relative positioning based on in-ice attitude determination, acoustic positioning, ultrasonic obstacle and target detection integrated through a high-level sensor fusion. This paper describes the EnEx technology and discusses implications for an actual extraterrestrial mission concept. Y1 - 2016 U6 - http://dx.doi.org/10.1016/j.coldregions.2015.11.006 SN - 0165-232X IS - 123 SP - 53 EP - 70 PB - Elsevier CY - Amsterdam ER - TY - JOUR A1 - Kozhalakova, A. A. A1 - Zhubanova, Azhar A. A1 - Mansurov, Z. A. A1 - Digel, Ilya A1 - Tazhibayeva, S. M. A1 - Artmann, Gerhard A1 - Temiz Artmann, Aysegül T1 - Adsorption of bacterial lipopolysaccharides on carbonized rice shell JF - Science of Central Asia (2010) Y1 - 2010 SP - 50 EP - 54 ER - TY - CHAP A1 - Kraft, Bodo T1 - Conceptual design tools for civil engineering N2 - Applications of Graph Transformations with Industrial Relevance Lecture Notes in Computer Science, 2004, Volume 3062/2004, 434-439, DOI: http://dx.doi.org/10.1007/978-3-540-25959-6_33 This paper gives a brief overview of the tools we have developed to support conceptual design in civil engineering. Based on the UPGRADE framework, two applications, one for the knowledge engineer and another for architects allow to store domain specific knowledge and to use this knowledge during conceptual design. Consistency analyses check the design against the defined knowledge and inform the architect if rules are violated. KW - CAD KW - CAD KW - Bauingenieurwesen KW - CAD KW - civil engineering Y1 - 2004 ER - TY - JOUR A1 - Kraft, Bodo T1 - Conceptual design mit ArchiCAD 8 : Forschungsprojekt an der RWTH Aachen N2 - Projektbericht in GraphisoftNews - Architektur und Bauen in einer vernetzten Welt 3/2003 4 Seiten KW - CAD KW - CAD KW - Bauingenieurwesen KW - Architektur KW - CAD KW - civil engineering KW - architecture Y1 - 2003 ER - TY - GEN A1 - Kraft, Bodo T1 - LexiCAD Step by Step : Bürogebäude : Erstellen eines Grundrisses mit RoomObjects und LexiCAD N2 - 11 Seiten, 22 Abbildungen 1. Konstruktion des Außenumrisses 2. Festlegung der inneren Räume 3. Einfügen der RoomLinks 4. Wallgenerator KW - CAD KW - CAD KW - Architektur KW - CAD KW - architecture Y1 - 2003 ER - TY - BOOK A1 - Kraft, Bodo T1 - Semantische Unterstützung des konzeptuellen Gebäudeentwurfs Y1 - 2007 SN - 978-3-8322-6045-3 N1 - Berichte aus der Informatik ; Zugl.: Aachen, Techn. Hochsch., Diss., 2007 PB - Shaker CY - Aachen ER - TY - JOUR A1 - Kraft, Bodo A1 - Heer, Thomas A1 - Retkowitz, Daniel T1 - Algorithm and Tool for Ontology Integration Based on Graph Rewriting / Heer, Thomas ; Retkowitz, Daniel ; Kraft, Bodo JF - Applications of Graph Transformations with Industrial Relevance / Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers Y1 - 2008 SN - 978-3-540-89019-5 N1 - Lecture Notes in Computer Science ; 5088 SP - 577 EP - 582 ER - TY - JOUR A1 - Kraft, Bodo A1 - Heer, Thomas A1 - Retkowitz, Daniel T1 - Incremental Ontology Integration / Heer, Thomas ; Retkowitz, Daniel ; Kraft, Bodo JF - Proceedings of the 10th International Conference on Enterprise Information Systems : Barcelona, Spain, June 12 - 16, 2008 / organized by INSTICC, Institute for Systems and Technologies of Information, Control and Communication ... [Ed. by José Cordeiro ...] Y1 - 2008 N1 - International Conference on Enterprise Information Systems ; (10 : ; 2008.06.12-16 : ; Barcelona) ; ICEIS ; (10 : ; 2008.06.12-16 : ; Barcelona) SP - 13 EP - 28 PB - INSTICC CY - Setubal ER - TY - CHAP A1 - Kraft, Bodo A1 - Kohl, Philipp A1 - Meinecke, Matthias ED - Bernert, Christian ED - Scheurer, Steffen ED - Wehnes, Harald T1 - Analyse und Nachverfolgung von Projektzielen durch Einsatz von Natural Language Processing T2 - KI in der Projektwirtschaft : was verändert sich durch KI im Projektmanagement? Y1 - 2024 SN - 978-3-3811-1132-9 (Online) SN - 978-3-3811-1131-2 (Print) U6 - http://dx.doi.org/10.24053/9783381111329 SP - 157 EP - 167 PB - UVK Verlag ER - TY - CHAP A1 - Kraft, Bodo A1 - Meyer, Oliver A1 - Nagl, Manfred T1 - Graph technology support for conceptual design in civil engineering N2 - In: Advances in intelligent computing in engineering : proceedings of the 9.International EG-ICE Workshop ; Darmstadt, (01 - 03 August) 2002 / Martina Schnellenbach-Held ... (eds.) . - Düsseldorf: VDI-Verl., 2002 .- Fortschritt-Berichte VDI, Reihe 4, Bauingenieurwesen ; 180 ; S. 1-35 The paper describes a novel way to support conceptual design in civil engineering. The designer uses semantical tools guaranteeing certain internal structures of the design result but also the fulfillment of various constraints. Two different approaches and corresponding tools are discussed: (a) Visually specified tools with automatic code generation to determine a design structure as well as fixing various constraints a design has to obey. These tools are also valuable for design knowledge specialist. (b) Extensions of existing CAD tools to provide semantical knowledge to be used by an architect. It is sketched how these different tools can be combined in the future. The main part of the paper discusses the concepts and realization of two prototypes following the two above approaches. The paper especially discusses that specific graphs and the specification of their structure are useful for both tool realization projects. KW - CAD KW - CAD ; KW - CAD KW - civil engineering Y1 - 2002 SN - 3-18-318004-9 ER - TY - JOUR A1 - Kraft, Bodo A1 - Nagl, Manfred T1 - Visual Knowledge Specification for Conceptual Design: Definition and Tool Support N2 - In: Advanced Engineering Informatics. Vol 21, Issue 1, 2007, Pages 67-83 http://dx.doi.org/10.1016/j.aei.2006.10.001 eds. J.C. Kunz, I.F.C. Smith and T. Tomiyama, Elsevier, Seite 1-22 Current CAD tools are not able to support the conceptual design phase, and none of them provides a consistency analysis for sketches produced by architects. This phase is fundamental and crucial for the whole design and construction process of a building. To give architects a better support, we developed a CAD tool for conceptual design and a knowledge specification tool. The knowledge is specific to one class of buildings and it can be reused. Based on a dynamic and domain-specific knowledge ontology, different types of design rules formalize this knowledge in a graph-based form. An expressive visual language provides a user-friendly, human readable representation. Finally, a consistency analysis tool enables conceptual designs to be checked against this formal conceptual knowledge. In this article, we concentrate on the knowledge specification part. For that, we introduce the concepts and usage of a novel visual language and describe its semantics. To demonstrate the usability of our approach, two graph-based visual tools for knowledge specification and conceptual design are explained. KW - CAD KW - CAD KW - Bauingenieurwesen KW - CAD KW - civil engineering Y1 - 2007 ER - TY - CHAP A1 - Kraft, Bodo A1 - Nagl, Manfred T1 - Support of Conceptual Design in Civil Engineering by Graph-based Tools N2 - WS GTaD-2003 - The 1st Workshop on Graph Transformations and Design ed Grabska, E., Seite 6-7, Jagiellonian University Krakow. 2 pages KW - CAD KW - CAD KW - Bauingenieurwesen KW - CAD KW - civil engineering Y1 - 2003 ER - TY - CHAP A1 - Kraft, Bodo A1 - Nagl, Manfred T1 - Parameterized specification of conceptual design tools in civil engineering N2 - Applications of Graph Transformations with Industrial Relevance Lecture Notes in Computer Science, 2004, Volume 3062/2004, 90-105, DOI: 10.1007/978-3-540-25959-6_7 In this paper we discuss how tools for conceptual design in civil engineering can be developed using graph transformation specifications. These tools consist of three parts: (a) for elaborating specific conceptual knowledge (knowledge engineer), (b) for working out conceptual design results (architect), and (c) automatic consistency analyses which guarantee that design results are consistent with the underlying specific conceptual knowledge. For the realization of such tools we use a machinery based on graph transformations. In a traditional PROGRES tool specification the conceptual knowledge for a class of buildings is hard-wired within the specification. This is not appropriate for the experimentation platform approach we present in this paper, as objects and relations for conceptual knowledge are due to many changes, implied by evaluation of their use and corresponding improvements. Therefore, we introduce a parametric specification method with the following characteristics: (1) The underlying specific knowledge for a class of buildings is not fixed. Instead, it is built up as a data base by using the knowledge tools. (2) The specification for the architect tools also does not incorporate specific conceptual knowledge. (3) An incremental checker guarantees whether a design result is consistent with the current state of the underlying conceptual knowledge (data base). KW - CAD KW - CAD KW - Bauingenieurwesen KW - CAD KW - civil engineering Y1 - 2004 ER - TY - CHAP A1 - Kraft, Bodo A1 - Nagl, Manfred T1 - Semantic tool support for conceptual design N2 - ITCE-2003 - 4th Joint Symposium on Information Technology in Civil Engineering ed Flood, I., Seite 1-12, ASCE (CD-ROM), Nashville, USA In this paper we discussed graph based tools to support architects during the conceptual design phase. Conceptual Design is defined before constructive design; the used concepts are more abstract. We develop two graph based approaches, a topdown using the graph rewriting system PROGRES and a more industrially oriented approach, where we extend the CAD system ArchiCAD. In both approaches, knowledge can be defined by a knowledge engineer, in the top-down approach in the domain model graph, in the bottom-up approach in the in an XML file. The defined knowledge is used to incrementally check the sketch and to inform the architect about violations of the defined knowledge. Our goal is to discover design error as soon as possible and to support the architect to design buildings with consideration of conceptual knowledge. KW - CAD KW - CAD KW - Bauingenieurwesen KW - CAD KW - civil engineering Y1 - 2003 ER - TY - JOUR A1 - Kraft, Bodo A1 - Nagl, Manfred T1 - Graphbasierte Werkzeuge zur Unterstützung des konzeptuellen Gebäudeentwurfs JF - Vernetzt-kooperative Planungsprozesse im Konstruktiven Ingenieurbau : Grundlagen, Methoden, Anwendung und Perspektiven zur vernetzten Ingenieurkooperation / Uwe Rüppel (Hrsg.) Y1 - 2007 SN - 978-3-540-68102-1 SP - 155 EP - 175 PB - Springer CY - Berlin ER - TY - JOUR A1 - Kraft, Bodo A1 - Nobisrath, Ulrich A1 - Salumaa, Priit A1 - Schultchen, Erhard T1 - Fujaba based Tool Development for eHome Systems / Nobisrath, Ulrich ; Salumaa, Priit ; Schultchen, Erhard ; Kraft, Bodo JF - Electronic Notes in Theoretical Computer Science. 127 (2004), H. 1 Y1 - 2004 SN - 1571-0661 N1 - Proceedings of the International Workshop on Graph-Based Tools (GraBaTs 2004) SP - 89 EP - 99 ER - TY - CHAP A1 - Kraft, Bodo A1 - Retkowitz, Daniel T1 - Operationale Semantikdefinition für konzeptuelles Regelwissen N2 - In: Forum Bauinformatik 2005 : junge Wissenschaftler forschen / [Lehrstuhl Bauinformatik, Brandenburgische Technische Universität Cottbus. Frank Schley ... (Hrsg.)]. - Cottbus : Techn. Universität 2005. S. 1-10 ISBN 3-934934-11-0 Mittels eines operationalen Ansatzes zur Semantikdefinition wird am Bei-spiel des konzeptuellen Gebäudeentwurfs ein Regelsystem formalisiert. Dazu werdenzwei Teile, zum einen das Regelwissen, zum anderen ein konzeptueller Entwurfsplan zunächst informell eingeführt und dann formal beschrieben. Darauf aufbauend wird die Grundlage für eine Konsistenzprüfung des konzeptuellen Entwurfs gegen das Regel-wissen formal angeben KW - CAD KW - CAD KW - Bauingenieurwesen KW - CAD KW - civil engineering Y1 - 2005 ER - TY - CHAP A1 - Kraft, Bodo A1 - Retkowitz, Daniel T1 - Graph Transformations for Dynamic Knowledge Processing N2 - In: Proceedings of the 39th Annual Hawaii International Conference on System Sciences, 2006. HICSS '06 http://dx.doi.org/10.1109/HICSS.2006.200 The conceptual design phase at the beginning of the building construction process is not adequately supported by any CAD-tool. Conceptual design support needs regarding two aspects: first, the architect must be able to develop conceptual sketches that provide abstraction from constructive details. Second, conceptually relevant knowledge should be available to check these conceptual sketches. The paper deals with knowledge to formalize for conceptual design. To enable domain experts formalizing knowledge, a graph-based specification is presented that allows the development of a domain ontology and design rules specific for one class of buildings at runtime. The provided tool support illustrates the introduced concepts and demonstrates the consistency analysis between knowledge and conceptual design. KW - CAD KW - CAD KW - Bauingenieurwesen KW - CAD KW - civil engineering Y1 - 2006 ER - TY - CHAP A1 - Kraft, Bodo A1 - Retkowitz, Daniel T1 - Rule-Dependencies for Visual Knowledge Specification in Conceptual Design N2 - In: Proc. of the 11th Intl. Conf. on Computing in Civil and Building Engineering (ICCCBE-XI) ed. Hugues Rivard, Montreal, Canada, Seite 1-12, ACSE (CD-ROM), 2006 Currently, the conceptual design phase is not adequately supported by any CAD tool. Neither the support while elaborating conceptual sketches, nor the automatic proof of correctness with respect to effective restrictions is currently provided by any commercial tool. To enable domain experts to store the common as well as their personal domain knowledge, we develop a visual language for knowledge formalization. In this paper, a major extension to the already existing concepts is introduced. The possibility to define rule dependencies extends the expressiveness of the knowledge definition language and contributes to the usability of our approach. KW - CAD KW - CAD KW - Bauingenieurwesen KW - CAD KW - civil engineering Y1 - 2006 ER -