TY  - CHAP
A1  - Kremers, Alexander
A1  - Pieper, Martin
T1  - Simulation and Verification of Bionic Heat Exchangers with COMSOL Multiphysics® Software
T2  - COMSOL Conference 2015 User Presentations ; COMSOL Conference 2015 Grenoble October 14 - 16, 2015 - World Trade Center, Grenoble, France
Y1  - 2015
PB  - COMSOL
CY  - Göttingen ; Berlin
ER  - 
TY  - JOUR
A1  - Kramer, Friederike
A1  - Halamkova, Lenka
A1  - Poghossian, Arshak
A1  - Schöning, Michael Josef
A1  - Katz, Evgeny
A1  - Halamek, Jan
T1  - Biocatalytic analysis of biomarkers for forensic identification of ethnicity between Caucasian and African American
JF  - The analyst. August 2013
Y1  - 2013
SN  - 1364-5528 (E-Journal); 0003-2654 (Print)
VL  - Vol. 138
SP  - 6251
EP  - 6257
PB  - Royal Society of Chemistry
CY  - Cambridge
ER  - 
TY  - CHAP
A1  - Kraft, Bodo
A1  - Wilhelms, Nils
T1  - Visual Knowledge Specification for Conceptual Design
N2  - Proc. of the 2005 ASCE Intl. Conf. on Computing in Civil Engineering (ICCC 2005) eds. L. Soibelman und F. Pena-Mora, Seite 1-14, ASCE (CD-ROM), Cancun, Mexico, 2005 Current CAD tools are not able to support the fundamental conceptual design phase, and none of them provides consistency analyses of sketches produced by architects. To give architects a greater support at the conceptual design phase, we develop a CAD tool for conceptual design and a knowledge specification tool allowing the definition of conceptually relevant knowledge. The knowledge is specific to one class of buildings and can be reused. Based on a dynamic knowledge model, different types of design rules formalize the knowledge in a graph-based realization. An expressive visual language provides a user-friendly, human readable representation. Finally, consistency analyses enable conceptual designs to be checked against this defined knowledge. In this paper we concentrate on the knowledge specification part of our project.
KW  - CAD
KW  - CAD
KW  - Bauingenieurwesen
KW  - CAD
KW  - civil engineering
Y1  - 2005
ER  - 
TY  - CHAP
A1  - Kraft, Bodo
A1  - Wilhelms, N.
T1  - Interactive distributed knowledge support for conceptual building design
N2  - In: Net-distributed Co-operation : Xth International Conference on Computing in Civil and Building Engineering, Weimar, June 02 - 04, 2004 ; proceedings / [ed. by Karl Beuke ...] . - Weimar: Bauhaus-Univ. Weimar 2004. - 1. Aufl. . Seite 1-14 ISBN 3-86068-213-X International Conference on Computing in Civil and Building Engineering <10, 2004, Weimar> Summary In our project, we develop new tools for the conceptual design phase. During conceptual design, the coarse functionality and organization of a building is more important than a detailed worked out construction. We identify two roles, first the knowledge engineer who is responsible for knowledge definition and maintenance; second the architect who elaborates the conceptual de-sign. The tool for the knowledge engineer is based on graph technology, it is specified using PROGRES and the UPGRADE framework. The tools for the architect are integrated to the in-dustrial CAD tool ArchiCAD. Consistency between knowledge and conceptual design is en-sured by the constraint checker, another extension to ArchiCAD.
KW  - CAD
KW  - CAD
KW  - Bauingenieurwesen
KW  - CAD
KW  - civil engineering
Y1  - 2004
SN  - 3-86068-213-X
ER  - 
TY  - CHAP
A1  - Kraft, Bodo
A1  - Schneider, Gerd
T1  - Semantic Roomobjects for Conceptual Design Support : A Knowledge-based Approach
N2  - In: Computer Aided Architectural Design Futures 2005 2005, Part 4, 207-216, DOI: http://dx.doi.org/10.1007/1-4020-3698-1_19 The conceptual design at the beginning of the building construction process is essential for the success of a building project. Even if some CAD tools allow elaborating conceptual sketches, they rather focus on the shape of the building elements and not on their functionality. We introduce semantic roomobjects and roomlinks, by way of example to the CAD tool ArchiCAD. These extensions provide a basis for specifying the organisation and functionality of a building and free architects being forced to directly produce detailed constructive sketches. Furthermore, we introduce consistency analyses of the conceptual sketch, based on an ontology containing conceptual relevant knowledge, specific to one class of buildings.
KW  - CAD
KW  - CAD
KW  - Bauingenieurwesen
KW  - CAD
KW  - civil engineering
Y1  - 2005
SN  - 978-1-4020-3460-2
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  - 
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  - 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  - 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  - 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  - 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
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  - 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  - 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  - 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  - Kotliar, Konstantin
A1  - Vilser, Walthatd
A1  - Nagel, Edgar
A1  - Lanzl, Ines M.
T1  - Retinal vessel reaction in response to chromatic flickering light / Kotliar, Konstantin E. ; Vilser, Walthard ; Nagel, Edgar ; Lanzl, Ines M.
JF  - Graefe's Archive for Clinical and Experimental Ophthalmology. 242 (2004), H. 5
Y1  - 2004
SN  - 1435-702X
SP  - 377
EP  - 392
PB  - -
ER  - 
TY  - JOUR
A1  - Kotliar, Konstantin
A1  - Svetlova, O. V.
A1  - Zinoviewa, N. V.
A1  - Krylova, I. S.
T1  - Elaboration of the conception of the biomechanical model of the aqueous intraocular outflow / Svetlova, O. V. ; Zinoviewa, N. V. ; Krylova, I. S. ; Koshitz, I. N. ; Smolnikov, B. A. ; Fedorova, E. M. ; Kotliar, K. E.
JF  - Rossiiskii zhurnal biomekhaniki = Russian Journal of biomechanics. 5 (2001), H. 3
Y1  - 2001
SN  - 1812-5123
SP  - 23
EP  - 27
PB  - -
ER  - 
TY  - JOUR
A1  - Kotliar, Konstantin
A1  - Svetlova, O. V.
A1  - Stegaev, V. A.
A1  - Parkhomov, S. D.
T1  - Biomechanical substantiation of relatively low efficiency of recurrent laser trabeculoplasty / Svetlova, O. V. ; Stagaev, V. A. ; Parkhomov, S. D. ; Kotliar, K. E. ; Makarov, F. N. ;  Smolnikov, B. A. ; Koshitz, I. N.
JF  - Glaukoma (2004)
Y1  - 2004
N1  - Original in Russisch
SP  - 29
EP  - 39
PB  - -
ER  - 
TY  - JOUR
A1  - Kotliar, Konstantin
A1  - Svetlova, O. V.
A1  - Sourjikov, A. V.
A1  - Zaseeva, M. V.
T1  - Biomechanical peculiarities of aqueous humor production system and outflow regulation system / Svetlova, O. V. ; Sourjikov, A. V. ; Kotliar, K. E. ; Zaseeva, M. V. ; Shukhaev, S. V. ; Koshitz, I. N.
JF  - Glaukoma (2004)
Y1  - 2004
N1  - Original in Russisch
SP  - 66
EP  - 76
PB  - -
ER  -