Skip to content Skip to footer

Search for Research output

35811 - 35820 out of 86,651Page size: 10
86651 Research output
  1. 2019
  2. Published

    Automatic Generation of Analyzable Dual-Graph Error Propagation Models from Extended SysML Models.

    Cai, J., 2019

    Research output: Types of thesis › Diploma thesis

  3. Published

    Automatic Translation of Clinical Trial Eligibility Criteria into Formal Queries

    Xu, C., Forkel, W., Borgwardt, S., Baader, F. & Zhou, B., 2019, Proceedings of the 9th Workshop on Ontologies and Data in Life Sciences (ODLS'19), part of The Joint Ontology Workshops (JOWO'19).

    Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

  4. Published

    Automatic Translation of Clinical Trial Eligibility Criteria into Formal Queries (Extended Version)

    Xu, C., Forkel, W., Borgwardt, S., Baader, F. & Zhou, B., 2019, Dresden, Germany, (LTCS-Report, Vol. 19-13).

    Research output: Preprint/Documentation/Report › Working paper

  5. Published

    Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics

    Lyon, T. & van Berkel, K., 2019, PRIMA 2019: Principles and Practice of Multi-Agent Systems. Baldoni, M., Dastani, M., Liao, B., Sakurai, Y. & Zalila Wenkstern, R. (eds.). Cham: Springer International Publishing AG, p. 202-218 17 p.

    Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

  6. Published

    Automation in Construction

    Krause, M., Mechtcherine, V. & Nerella, V. N., 2019, In: Drvna Industrija.

    Research output: Contribution to journal › Research article › Contributed

  7. Published

    Automatisierte großserienfähige Fertigungstechnologie für mehrlagig gewebte komplexe 3D-Knotenstrukturen (IGF 18805 BR)

    Hoffmann, G., 2019.

    Research output: Preprint/Documentation/Report › Project report (Final and progress reports)

  8. Published

    Automatisierte Inhaltsanalyse

    Günther, T., Nagel, D. Y., Fuhrmann, S. & Graßmann, M., 2019, In: Das Wirtschaftsstudium : wisu. 2019, 12, p. 1348 - 1353

    Research output: Contribution to journal › Research article › Contributed

  9. Automatisierte Klassifikation und Bewertung von Betriebszuständen raumlufttechnischer Anlagen

    Wei, M., 2019

    Research output: Types of thesis › Diploma thesis

  10. Published

    Automatisierung von hydraulisch angetriebenen Erdbewegungsmaschinen – Teil 1: Stand der Technik

    Uhlmann, J., Beck, B., Fischer, E., Weber, J., Richter, C. & Will, F., 2019, In: Mobile Maschinen online : Organ des Forums Mobile Maschinen im VDMA. 2019, 10, p. 24-33 10 p.

    Research output: Contribution to journal › Research article › Contributed

  11. Published

    Autonome „Schöpfung“ – Urheberschaft und Schutzfähigkeit

    Lauber-Rönsberg, A., 2019, In: Gewerblicher Rechtsschutz und Urheberrecht: GRUR. 3, p. 244-253 10 p.

    Research output: Contribution to journal › Research article › Contributed

Previous 1...3578 3579 3580 3581 3582 3583 3584 3585 ...8666 Next
Export list (max. 500):