@inproceedings{KraftWilhelms2004, author = {Kraft, Bodo and Wilhelms, N.}, title = {Interactive distributed knowledge support for conceptual building design}, isbn = {3-86068-213-X}, year = {2004}, abstract = {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.}, subject = {CAD}, language = {en} } @inproceedings{KraftSchneider2005, author = {Kraft, Bodo and Schneider, Gerd}, title = {Semantic Roomobjects for Conceptual Design Support : A Knowledge-based Approach}, isbn = {978-1-4020-3460-2}, year = {2005}, abstract = {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.}, subject = {CAD}, language = {en} } @inproceedings{KraftRetkowitz2005, author = {Kraft, Bodo and Retkowitz, Daniel}, title = {Operationale Semantikdefinition f{\"u}r konzeptuelles Regelwissen}, year = {2005}, abstract = {In: Forum Bauinformatik 2005 : junge Wissenschaftler forschen / [Lehrstuhl Bauinformatik, Brandenburgische Technische Universit{\"a}t Cottbus. Frank Schley ... (Hrsg.)]. - Cottbus : Techn. Universit{\"a}t 2005. S. 1-10 ISBN 3-934934-11-0 Mittels eines operationalen Ansatzes zur Semantikdefinition wird am Bei-spiel des konzeptuellen Geb{\"a}udeentwurfs ein Regelsystem formalisiert. Dazu werdenzwei Teile, zum einen das Regelwissen, zum anderen ein konzeptueller Entwurfsplan zun{\"a}chst informell eingef{\"u}hrt und dann formal beschrieben. Darauf aufbauend wird die Grundlage f{\"u}r eine Konsistenzpr{\"u}fung des konzeptuellen Entwurfs gegen das Regel-wissen formal angeben}, subject = {CAD}, language = {de} } @inproceedings{KraftRetkowitz2006, author = {Kraft, Bodo and Retkowitz, Daniel}, title = {Graph Transformations for Dynamic Knowledge Processing}, year = {2006}, abstract = {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.}, subject = {CAD}, language = {de} } @inproceedings{KraftRetkowitz2006, author = {Kraft, Bodo and Retkowitz, Daniel}, title = {Rule-Dependencies for Visual Knowledge Specification in Conceptual Design}, year = {2006}, abstract = {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.}, subject = {CAD}, language = {en} } @article{KraftNagl2007, author = {Kraft, Bodo and Nagl, Manfred}, title = {Visual Knowledge Specification for Conceptual Design: Definition and Tool Support}, year = {2007}, abstract = {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.}, subject = {CAD}, language = {en} } @inproceedings{KraftNagl2003, author = {Kraft, Bodo and Nagl, Manfred}, title = {Support of Conceptual Design in Civil Engineering by Graph-based Tools}, year = {2003}, abstract = {WS GTaD-2003 - The 1st Workshop on Graph Transformations and Design ed Grabska, E., Seite 6-7, Jagiellonian University Krakow. 2 pages}, subject = {CAD}, language = {de} } @inproceedings{KraftNagl2004, author = {Kraft, Bodo and Nagl, Manfred}, title = {Parameterized specification of conceptual design tools in civil engineering}, year = {2004}, abstract = {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).}, subject = {CAD}, language = {de} } @inproceedings{KraftNagl2003, author = {Kraft, Bodo and Nagl, Manfred}, title = {Semantic tool support for conceptual design}, year = {2003}, abstract = {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.}, subject = {CAD}, language = {en} } @inproceedings{KraftMeyerNagl2002, author = {Kraft, Bodo and Meyer, Oliver and Nagl, Manfred}, title = {Graph technology support for conceptual design in civil engineering}, isbn = {3-18-318004-9}, year = {2002}, abstract = {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{\"u}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.}, subject = {CAD}, language = {en} } @inproceedings{Kraft2004, author = {Kraft, Bodo}, title = {Conceptual design tools for civil engineering}, year = {2004}, abstract = {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.}, subject = {CAD}, language = {en} } @article{Kraft2003, author = {Kraft, Bodo}, title = {Conceptual design mit ArchiCAD 8 : Forschungsprojekt an der RWTH Aachen}, year = {2003}, abstract = {Projektbericht in GraphisoftNews - Architektur und Bauen in einer vernetzten Welt 3/2003 4 Seiten}, subject = {CAD}, language = {de} } @misc{Kraft2003, author = {Kraft, Bodo}, title = {LexiCAD Step by Step : B{\"u}rogeb{\"a}ude : Erstellen eines Grundrisses mit RoomObjects und LexiCAD}, year = {2003}, abstract = {11 Seiten, 22 Abbildungen 1. Konstruktion des Außenumrisses 2. Festlegung der inneren R{\"a}ume 3. Einf{\"u}gen der RoomLinks 4. Wallgenerator}, subject = {CAD}, language = {de} } @inproceedings{KoplinSiemonsOcenValentinetal.2006, author = {Koplin, Tobias J. and Siemons, Maike and Oc{\´e}n-Val{\´e}ntin, C{\´e}sar and Sanders, Daniel and Simon, Ulrich}, title = {Workflow for high throughput screening of gas sensing materials}, url = {http://nbn-resolving.de/urn:nbn:de:hbz:a96-opus-1407}, year = {2006}, abstract = {The workflow of a high throughput screening setup for the rapid identification of new and improved sensor materials is presented. The polyol method was applied to prepare nanoparticular metal oxides as base materials, which were functionalised by surface doping. Using multi-electrode substrates and high throughput impedance spectroscopy (HT-IS) a wide range of materials could be screened in a short time. Applying HT-IS in search of new selective gas sensing materials a NO2-tolerant NO sensing material with reduced sensitivities towards other test gases was identified based on iridium doped zinc oxide. Analogous behaviour was observed for iridium doped indium oxide.}, subject = {Biosensor}, language = {en} } @inproceedings{KirchhofKraft2011, author = {Kirchhof, Michael and Kraft, Bodo}, title = {Dogmatisches „Entweder agil oder klassisch" im Projektmanagement hat ausgedient - die richtige Mischung macht's}, series = {Projekt-Sternstunden : strahlende Erfolge durch Kompetenz}, booktitle = {Projekt-Sternstunden : strahlende Erfolge durch Kompetenz}, publisher = {GPM}, address = {N{\"u}rnberg}, isbn = {978-3-924841-60-7}, pages = {414 -- 425}, year = {2011}, language = {de} } @inproceedings{KirchhofKraft2004, author = {Kirchhof, M. and Kraft, Bodo}, title = {UML-based modeling of architectural knowledge and design}, year = {2004}, abstract = {IASSE-2004 - 13th International Conference on Intelligent and Adaptive Systems and Software Engineering eds. W. Dosch, N. Debnath, pp. 245-250, ISCA, Cary, NC, 1-3 July 2004, Nice, France We introduce a UML-based model for conceptual design support in civil engineering. Therefore, we identify required extensions to standard UML. Class diagrams are used for elaborating building typespecific knowledge: Object diagrams, implicitly contained in the architect's sketch, are validated against the defined knowledge. To enable the use of industrial, domain-specific tools, we provide an integrated conceptual design extension. The developed tool support is based on graph rewriting. With our approach architects are enabled to deal with semantic objects during early design phase, assisted by incremental consistency checks.}, subject = {UML}, language = {en} } @inproceedings{KernDikta2009, author = {Kern, Alexander and Dikta, Gerhard}, title = {Probability of damage of electrical and electronic systems due to indirect lightning flashes - investigation of data from German insurance companies}, year = {2009}, abstract = {In the presented paper data collected from the field related to damage statistics of electrical and electronic apparatus in household are reported and investigated. These damages (total number approx. 74000 cases), registered by five German insurance companies in 2005 and 2006, were adviced by customers as caused by lightning overvoltages. With the use of stochastical methods it is possible, to reasses the collected data and to distinguish between cases, which are with high probability caused by lightning overvoltages, and those, which are not. If there was an indication for a direct strike, this case was excluded, so the focus was only on indirect lightning flashes, i.e. only flashes to ground near the structure and flashes to or nearby an incoming service line were investigated. The data from the field contain the location of damaged apparatus (residence of the policy holder) and the distances of the nearest cloud-to-ground stroke to the location of the damage registered by the German lightning location network BLIDS at the date of damage. The statistical data along with some complementary numerical simulations allow to verify the correspondence of the Standards rules used for IEC 62305-2 with the field data and to define some correction needs. The results could lead to a better understanding whether a damage reported to an insurance company is really caused by indirect lightning, or not.}, subject = {Blitzschutz}, language = {en} } @article{KaulenSchwabedalSchneideretal.2022, author = {Kaulen, Lars and Schwabedal, Justus T. C. and Schneider, Jules and Ritter, Philipp and Bialonski, Stephan}, title = {Advanced sleep spindle identification with neural networks}, series = {Scientific Reports}, volume = {12}, journal = {Scientific Reports}, number = {Article number: 7686}, publisher = {Springer Nature}, address = {London}, issn = {2045-2322}, doi = {10.1038/s41598-022-11210-y}, pages = {1 -- 10}, year = {2022}, abstract = {Sleep spindles are neurophysiological phenomena that appear to be linked to memory formation and other functions of the central nervous system, and that can be observed in electroencephalographic recordings (EEG) during sleep. Manually identified spindle annotations in EEG recordings suffer from substantial intra- and inter-rater variability, even if raters have been highly trained, which reduces the reliability of spindle measures as a research and diagnostic tool. The Massive Online Data Annotation (MODA) project has recently addressed this problem by forming a consensus from multiple such rating experts, thus providing a corpus of spindle annotations of enhanced quality. Based on this dataset, we present a U-Net-type deep neural network model to automatically detect sleep spindles. Our model's performance exceeds that of the state-of-the-art detector and of most experts in the MODA dataset. We observed improved detection accuracy in subjects of all ages, including older individuals whose spindles are particularly challenging to detect reliably. Our results underline the potential of automated methods to do repetitive cumbersome tasks with super-human performance.}, language = {en} } @inproceedings{KatzWillner2006, author = {Katz, Eugenii and Willner, Itamar}, title = {Magneto-controlled quantized electron transfer to surface-confined redox units and metal nanoparticles}, url = {http://nbn-resolving.de/urn:nbn:de:hbz:a96-opus-1528}, year = {2006}, abstract = {Hydrophobic magnetic nanoparticles (NPs) consisting of undecanoate-capped magnetite (Fe3O4, average diameter ca. 5 nm) are used to control quantized electron transfer to surface-confined redox units and metal NPs. A two-phase system consisting of an aqueous electrolyte solution and a toluene phase that includes the suspended undecanoatecapped magnetic NPs is used to control the interfacial properties of the electrode surface. The attracted magnetic NPs form a hydrophobic layer on the electrode surface resulting in the change of the mechanisms of the surface-confined electrochemical processes. A quinone-monolayer modified Au electrode demonstrates an aqueous-type of the electrochemical process (2e-+2H+ redox mechanism) for the quinone units in the absence of the hydrophobic magnetic NPs, while the attraction of the magnetic NPs to the surface results in the stepwise single-electron transfer mechanism characteristic of a dry nonaqueous medium. Also, the attraction of the hydrophobic magnetic NPs to the Au electrode surface modified with Au NPs (ca. 1.4 nm) yields a microenvironment with a low dielectric constant that results in the single-electron quantum charging of the Au NPs.}, subject = {Biosensor}, language = {en} } @article{KarschuckSchmidtAchtsnichtetal.2023, author = {Karschuck, Tobias and Schmidt, Stefan and Achtsnicht, Stefan and Poghossian, Arshak and Wagner, Patrick and Sch{\"o}ning, Michael Josef}, title = {Multiplexing system for automated characterization of a capacitive field-effect sensor array}, series = {Physica Status Solidi A}, volume = {220}, journal = {Physica Status Solidi A}, number = {22}, publisher = {Wiley-VCH}, address = {Weinheim}, issn = {1862-6300 (Print)}, doi = {10.1002/pssa.202300265}, pages = {7 Seiten}, year = {2023}, abstract = {In comparison to single-analyte devices, multiplexed systems for a multianalyte detection offer a reduced assay time and sample volume, low cost, and high throughput. Herein, a multiplexing platform for an automated quasi-simultaneous characterization of multiple (up to 16) capacitive field-effect sensors by the capacitive-voltage (C-V) and the constant-capacitance (ConCap) mode is presented. The sensors are mounted in a newly designed multicell arrangement with one common reference electrode and are electrically connected to the impedance analyzer via the base station. A Python script for the automated characterization of the sensors executes the user-defined measurement protocol. The developed multiplexing system is tested for pH measurements and the label-free detection of ligand-stabilized, charged gold nanoparticles.}, language = {en} }