Browse Fakultät für Elektrotechnik und Informatik by GND Subject Category

Browse Fakultät für Elektrotechnik und Informatik by GND Subject Category

Sort by: Order: Results:

  • Canonical models and the complexity of modal team logic 
    Lück, Martin (Wadern : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, 2018)
    We study modal team logic MTL, the team-semantical extension of classical modal logic closed under Boolean negation. Its fragments, such as modal dependence, independence, and inclusion logic, are well-understood. However, ...
  • Carbon dioxide free production of hydrogen 
    Stoppel, L.; Fehling, T.; Geißler, T.; Baake, E.; Wetzel, T. (Bristol : Institute of Physics Publishing, 2017)
    The present report summarizes the theoretical modelling and experimental investigation results of the study on the direct thermal methane cracking. This work is a part of the LIMTECH-Project (Liquid Metal Technologies) ...
  • Cluster-based contextual recommendations 
    Stefanidis, Kostas; Ntoutsi, Eirini (Konstanz : OpenProceedings.org, 2016)
    In this work, we address the problem of contextual recommendations by exploiting the concept of subspace clustering. Specifically, we pre-partition users that have rated subsets of data items similarly into clusters and ...
  • COCOA: COrrelation coefficient-aware data augmentation 
    Esmailoghli, Mahdi; Quiané-Ruiz, Jorge-Arnulfo; Abedjan, Ziawasch (Konstanz, Germany : OpenProceedings.org, University of Konstanz, University Library, 2021)
    Calculating correlation coefficients is one of the most used measures in data science. Although linear correlations are fast and easy to calculate, they lack robustness and effectiveness in the existence of non-linear ...
  • Combining a co-occurrence-based and a semantic measure for entity linking 
    Pereira Nunes, Bernardo; Dietze, Stefan; Casanova, Marco Antonio; Kawase, Ricardo; Fetahu, Besnik; Nejdl, Wolfgang (Heidelberg : Springer Verlag, 2013)
    One key feature of the Semantic Web lies in the ability to link related Web resources. However, while relations within particular datasets are often well-defined, links between disparate datasets and corpora of Web resources ...
  • Combining Programming-by-Example with Transformation Discovery from large Databases 
    Özmen, Aslihan; Esmailoghli, Mahdi; Abedjan, Ziawasch (Bonn : Ges. für Informatik, 2021)
    Data transformation discovery is one of the most tedious tasks in data preparation. In particular, the generation of transformation programs for semantic transformations is tricky because additional sources for look-up ...
  • Comparison of Electromagnetic and Marangoni Forces on Thin Coatings during Rapid Heating Process 
    Steinberg, T.; Opitz, T.; Rybakov, A.; Baake, E. (Bristol : Institute of Physics Publishing, 2018)
    The present paper is dedicated to the investigation of Marangoni and Lorentz forces in a rapid heating process. During the melting of aluminum-silicon (AlSi) layer on the bor-manganese steel 22MnB5, the liquid AlSi is ...
  • Complex matching of RDF datatype properties 
    Pereira Nunes, Bernardo; Mera, Alexander; Casanova, Marco Antonio; Fetahu, Besnik; Paes Leme, Luiz André P.; Dietze, Stefan (Heidelberg : Springer, 2013)
    Property mapping is a fundamental component of ontology matching, and yet there is little support that goes beyond the identification of single property matches. Real data often requires some degree of composition, trivially ...
  • Conceptual study of central receiver systems with liquid metals as efficient heat transfer fluids 
    Fritsch, A.; Flesch, J.; Geza, V.; Singer, Cs.; Uhlig, R.; Hoffschmidt, B. (Amsterdam : Elsevier Science BV, 2015)
    Concentrated Solar Power plants (CSP) provide several advantages to other energy conversion concepts. However, they are still not competitive in price, compared to conventional power plants. But there is still potential ...
  • Converter Lifetime Assessment for Doubly-Fed Induction Generators Considering Derating Control Strategies at Low Rotor Frequencies 
    Morisse, Marcel; Bartschat, Arne; Wenske, Jan; Mertens, Axel (Bristol : Institute of Physics Publishing, 2016)
    In this paper, various control strategies around the synchronous operating point with the aim to reduce the thermal loading of the rotor-side converter in wind turbines equipped with doubly-fed induction generators are ...
  • Decidability of predicate logics with team semantics 
    Kontinen, Juha; Kuusisto, Antti; Virtema, Jonni (Saarbrücken : Dagstuhl Publishing, 2016)
    We study the complexity of predicate logics based on team semantics. We show that the satisfiability problems of two-variable independence logic and inclusion logic are both NEXPTIMEcomplete. Furthermore, we show that the ...
  • Deciding circular-arc graph isomorphism in parameterized logspace 
    Chandoo, Maurice (Wadern : Schloss Dagstuhl- Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 2016)
    We compute a canonical circular-arc representation for a given circular-arc (CA) graph which implies solving the isomorphism and recognition problem for this class. To accomplish this we split the class of CA graphs into ...
  • Defining Frames to Structure Agile Development in Hybrid Settings - A Multi-Case Interview Study 
    Prenner, Nils; Klünder, Jil; Schneider, Kurt (New York,NY,United States : Association for Computing Machinery, 2022)
    Companies often combine agile and plan-based methods to so-called hybrid development approaches to benefit from the advantages of both. Recent research highlights conflicts introduced when combining agile and plan-based ...
  • Dependence logic with a majority quantifier 
    Durand, Arnaud; Ebbing, Johannes; Kontinen, Juha; Vollmer, Heribert (Wadern : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, 2011)
    We study the extension of dependence logic D by a majority quantifier M over finite structures. We show that the resulting logic is equi-expressive with the extension of second-order logic by second-order majority quantifiers ...
  • Descriptive complexity of #AC0 functions 
    Durand, Arnaud; Haak, Anselm; Kontinen, Juha; Vollmer, Heribert (Saarbrücken : Dagstuhl Publishing, 2016)
    We introduce a new framework for a descriptive complexity approach to arithmetic computations. We define a hierarchy of classes based on the idea of counting assignments to free function variables in first-order formulae. ...
  • Design improvements for increasing lifetime of single-shot coils applied at rotating workpieces 
    Schubotz, S.; Nacke, B. (Bristol : Institute of Physics Publishing, 2018)
    In the industry, induction hardening of rotationally symmetrical workpieces by a single-shot process is a widespread method. Due to only partial superimposition of the workpiece areas to be heated by the coil, high power ...
  • Distributed Execution of Scenario-based Specifications of Structurally Dynamic Cyber-Physical Systems 
    Greenyer, Joel; Gritzner, Daniel; Katz, Guy; Marron, Assaf; Glade, Nils; Gutjahr, Timo; König, Florian (Amsterdam : Elsevier, 2016)
    Cyber-physical systems are found in many areas, e.g., manufacturing or smart cities. They consist of multiple components that cooperate to provide the desired functionality. This need for cooperation causes complex ...
  • Divide and Conquer the EmpiRE: A Community-Maintainable Knowledge Graph of Empirical Research in Requirements Engineering 
    Karras, Oliver; Wernlein, Felix; Klünder, Jil; Auer, Sören (Piscataway, NJ : IEEE, 2023)
    [Background.] Empirical research in requirements engineering (RE) is a constantly evolving topic, with a growing number of publications. Several papers address this topic using literature reviews to provide a snapshot of ...
  • Dresdener Kreis 2019 : 20. Dresdener Kreis Elektroenergieversorgung vom 27. bis 28. März 2019 in Hannover 
    Institut für Energieversorgung und Hochspannungstechnik, Leibniz Universität Hannover (Hannover : Institutionelles Repositorium der Leibniz Universität Hannover, 2020)
    Der Sammelband "Dresdener Kreis 2019" beinhaltet neben einem kurzen Bericht zum alljährlichen Treffen des Dresdener Kreises wissenschaftliche Beiträge von Doktoranden der beteiligten Hochschulinstitute zum Thema ...
  • Edges as nodes - A new approach to timetable information 
    Beyersdorff, Olaf; Nebesov, Yevgen (Wadern : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, 2009)
    In this paper we suggest a new approach to timetable information by introducing the "edge-converted graph" of a timetable. Using this model we present simple algorithms that solve the earliest arrival problem (EAP) and the ...

Search the repository


Browse

My Account

Usage Statistics