X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • English  (18)
  • 1
    Online Resource
    Online Resource
    Concurrency, Specification and Programming : Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany (2023)
    Cham : Springer International Publishing | Cham : Springer
    Details
    UID:
    b3kat_BV048982240
    Format: 1 Online-Ressource (XII, 231 p. 66 illus., 37 illus. in color)
    Edition: 1st ed. 2023
    ISBN: 9783031266515
    Series Statement: Studies in Computational Intelligence 1091
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-3-031-26650-8
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-3-031-26652-2
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-3-031-26653-9
    Language: English
    Subjects: Computer Science
    RVK:
    ST 300
    Keywords: Konferenzschrift
    DOI: 10.1007/978-3-031-26651-5
    URL: Volltext  (URL des Erstveröffentlichers)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Online Access
    Open Access Request
    TH Brandenburg
    HTW Berlin
    BTU Cottbus
  • 2
    Article
    Article
    Intracerebral aneurysms : A review with special attention to geriatric aspects (2003)
    Show associated volumes
    Details
    UID:
    gbv_545189349
    ISSN: 1079-5006
    Note: Band: 58A; Heft: 6; Seiten: 520-524
    In: The journals of gerontology / A, Cary, NC : Oxford University Press, 1995, 58(2003), 6, Seite 520-524, 1079-5006
    In: volume:58
    In: year:2003
    In: number:6
    In: pages:520-524
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Article
    DZA Berlin get availability status
  • 3
    Book
    Book
    Model-driven engineering of self-adaptive software (2018)
    Potsdam
    Details
    UID:
    gbv_1022452584
    Format: xvi, 357 Seiten , Diagramme
    Content: The development of self-adaptive software requires the engineering of an adaptation engine that controls the underlying adaptable software by a feedback loop. State-of-the-art approaches prescribe the feedback loop in terms of numbers, how the activities (e.g., monitor, analyze, plan, and execute (MAPE)) and the knowledge are structured to a feedback loop, and the type of knowledge. Moreover, the feedback loop is usually hidden in the implementation or framework and therefore not visible in the architectural design. Additionally, an adaptation engine often employs runtime models that either represent the adaptable software or capture strategic knowledge such as reconfiguration strategies. State-of-the-art approaches do not systematically address the interplay of such runtime models, which would otherwise allow developers to freely design the entire feedback loop. This thesis presents ExecUtable RuntimE MegAmodels (EUREMA), an integrated model-driven engineering (MDE) solution that rigorously uses models for engineering feedback[…]
    Note: Dissertation Universität Potsdam 2018
    Additional Edition: Erscheint auch als Online-Ausgabe Vogel, Thomas, 1982 - Model-driven engineering of self-adaptive software Potsdam, 2018
    Language: English
    Keywords: Modellgetriebene Entwicklung ; Entwurfssprache ; Selbstoptimierung ; Hochschulschrift
    URL: Inhaltsverzeichnis
    Author information: Giese, Holger 1970-
    Author information: Vogel, Thomas 1982-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    UB Potsdam get availability status
  • 4
    Book
    Book
    Characterization and sensitivity analysis of tracer breakthrough curves with respect to multi continuum modeling (2006)
    Aachen : Shaker
    Details
    UID:
    b3kat_BV021613417
    Format: XXVI, 253 S. , graph. Darst. , 21 cm, 419 gr.
    ISBN: 3832249400
    Series Statement: Mitteilungen / Lehrstuhl und Institut für Wasserbau und Wasserwirtschaft, Rheinisch-Westfälische Technische Hochschule Aachen 145
    Note: Literaturverz. S. 240 - 253 , Auch als Internet-Ausg. , Zugl.: Aachen, Techn. Hochsch., Diss., 2005
    Language: English
    Keywords: Grundwasserleiter ; Wasserströmung ; Mehrstoffsystem ; Sensitivitätsanalyse ; Tracerkinetik ; Numerisches Modell ; Hochschulschrift
    URL: Volltext
    URL: Volltext
    URL: Volltext
    URL: Volltext
    Author information: Vogel, Thomas 1975-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    Online Access
    BTU Cottbus get availability status
  • 5
    Online Resource
    Online Resource
    Herbert Blomstedt conducts Bruckner : Bamberg Symphony (2020)
    [Place of publication not identified] : Bamberg Symphony & medici.tv
    Details
    UID:
    gbv_182220691X
    Format: 1 Online-Ressource (1 video file 1 hr., 26 min., 55 sec.) , sound, color
    Uniform Title: Symphony No. 8 in C Minor, WAB 108
    Content: Don't miss this epic symphonic evening with the Bamberg Symphony, live from their home venue, the Joseph-Keilberth-Saal at the Bamberg Konzerthalle. The prestigious Bavarian ensemble, under the expert direction of their Honorary Conductor Maestro Herbert Blomstedt, performs Bruckner's Symphony No. 8 in C Minor. This final completed symphony by Bruckner, powerful and sweeping and often referred to as the "symphony of symphonies," is commonly considered the pinnacle of the composer's artistry and craftsmanship ... Photo: Herbert Blomstedt © Chris Lee
    Note: Symphony No. 8 in C Minor, WAB 108 /
    Language: English
    Keywords: Webcast
    URL: lizenzpflichtig
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Stabi Berlin
  • 6
    Book
    Book
    Model-driven engineering of adaptation engines for self-adaptive software : executable runtime megamodels (2013)
    Potsdam : Univ.-Verl.
    Details
    UID:
    gbv_747729948
    Format: VI, 59 S. , graph. Darst.
    ISBN: 9783869562278
    Series Statement: Technische Berichte des Hasso-Plattner-Instituts für Softwaresystemtechnik an der Universität Potsdam 66
    Additional Edition: Online-Ausg. Vogel, Thomas: Model-driven engineering of adaptation engines for self-adaptive software
    Additional Edition: Erscheint auch als Online-Ausgabe Model-driven engineering of adaptation engines for self-adaptive software Potsdam : Univ.-Verl., 2013
    Language: English
    Keywords: Modellgetriebene Entwicklung ; Softwaresystem ; Adaptives System ; Rückkopplung ; Selbstoptimierung ; Laufzeitsystem ; Forschungsbericht
    URL: Inhaltstext
    URL: Inhaltsverzeichnis
    Author information: Giese, Holger 1970-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    UB Potsdam get availability status
  • 7
    Online Resource
    Online Resource
    Model-driven engineering of self-adaptive software (2018)
    Potsdam
    Details
    UID:
    gbv_1022452096
    Format: 1 Online-Ressource (xvi, 357 Seiten, 17351 KB) , Diagramme
    Content: The development of self-adaptive software requires the engineering of an adaptation engine that controls the underlying adaptable software by a feedback loop. State-of-the-art approaches prescribe the feedback loop in terms of numbers, how the activities (e.g., monitor, analyze, plan, and execute (MAPE)) and the knowledge are structured to a feedback loop, and the type of knowledge. Moreover, the feedback loop is usually hidden in the implementation or framework and therefore not visible in the architectural design. Additionally, an adaptation engine often employs runtime models that either represent the adaptable software or capture strategic knowledge such as reconfiguration strategies. State-of-the-art approaches do not systematically address the interplay of such runtime models, which would otherwise allow developers to freely design the entire feedback loop. This thesis presents ExecUtable RuntimE MegAmodels (EUREMA), an integrated model-driven engineering (MDE) solution that rigorously uses models for engineering feedback[…]
    Note: Dissertation Universität Potsdam 2018
    Additional Edition: Erscheint auch als Druck-Ausgabe Vogel, Thomas, 1982 - Model-driven engineering of self-adaptive software Potsdam, 2018
    Language: English
    Keywords: Modellgetriebene Entwicklung ; Entwurfssprache ; Selbstoptimierung ; Hochschulschrift
    URN: urn:nbn:de:kobv:517-opus4-409755
    URL: Volltext
    URL: https://nbn-resolving.org/urn:nbn:de:kobv:517-opus4-409755
    URL: https://d-nb.info/1217040188/34
    URL: kostenfrei
    Author information: Giese, Holger 1970-
    Author information: Vogel, Thomas 1982-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Online Access
    UB Potsdam
  • 8
    Online Resource
    Online Resource
    Bildungswissenschaften und akademisches Selbstverständnis in einer globalisierten Welt- Education and Academic Self-Concept in the Globalized World (2014)
    Frankfurt a.M : Peter Lang GmbH, Internationaler Verlag der Wissenschaften
    Details
    UID:
    gbv_1016427409
    Format: 1 Online-Ressource (730 p)
    Edition: 1st, New ed
    ISBN: 9783653048360
    Series Statement: Baltische Studien zur Erziehungs- und Sozialwissenschaft 28
    Content: Dieser Band dokumentiert eine Reihe von Beiträgen der XIX. Internationalen wissenschaftlichen Konferenz Bildungsreform und Lehrerausbildung zum Thema Bildungswissenschaft auf der Suche nach globaler Identität, die vom Ministerium für Bildung und Wissenschaft der Republik Litauen, der Litauischen Universität für Bildungswissenschaften in Vilnius und der Pädagogischen Hochschule Heidelberg – University of Education gemeinsam konzipiert und veranstaltet wurde. Das Hauptthema der Konferenz waren Bildungs- und Qualitätsstandards der Hochschul- und Schulbildung. Dieses Qualitätsmanagement setzt somit den Erwerb interaktiver Kompetenzen im Bildungs-, Erziehungs- und Sozialisationsbereich voraus, gewissermaßen als innere Kräfte für Basiskompetenzen, die im Hinblick auf die Herausforderungen der Gesellschaft des kommenden Jahrzehnts die Befähigung zu Identität ermöglichen.This volume presents a series of contributions from the XIX. International Scientific Conference on The Reform of Education and Teacher’s Training on the topic Educational Sciences in Search of Global Identity which was conceived and organized by the Ministry of Education and Science of the Republic of Lithuania, Lithuanian University of Educational Sciences and Heidelberg University of Education (Germany). Main topics of the conference were educational quality standards of Higher and Secondary Education. This kind of quality management relies on the acquisition of interactive competence in socialization and the educational sector. The development of these basic skills is prerequisite for achieving an identity in order to meet the challenges of our society in the coming decade
    Content: Inhalt/Contents: Bernward Lange: Welcoming Speech – Gerd-Bodo von Carlsburg: Vorwort – Thomas Vogel: Educational Science in Search of a Global Identity: an Introduction – Algirdas Gaižutis: The Globalizing World and Man’s Education. Reflecting on Meile Lukšiene’s Insights - an introduction from Lithuanian perspective – Karl-Heinz Dammer: Is it Possible to Create a Global Identity of Educational Science? – Libertas Klimka: About Nationality in the Globalized World – Rimantas Želvys: Globalization and Education: Future Perspectives – Henrike Schön/Anne Sliwka: Towards global identities: internationalization of teacher training at the Heidelberg University of Education – Maren-Kristina Wilke: Drawing a conclusion from Globalisation means rethinking our teaching and assessing our practice – Gerd-Bodo von Carlsburg/Martina Möller: Lebensglück (e?t???a st? ???) als Bildungsziel - als Katalysator für Identitätsfindung – Reet Liimets/Airi Liimets: Über das Unvermögen der Sozialwissenschaften den Menschen zu bestimmen – Ligita Dudinskiene, Vilma Žydžiunaite: Self-Education as Premise and Context for Teacher’s Identity Development: The Case of Master Studies in Educational Science – Markus Jahn/Alexander Siegmund: Education for Sustainable Development in Teacher Training in Baden-Württemberg: From Theory to Implementation – Carsten Rohlfs: Die subjektive Bedeutung von Schule und formaler Bildung aus der Perspektive von Schülerinnen und Schülern – Raphaëlle Beecroft: Improvisational Theatre in the Secondary EFL Classroom: Teacher-Researcher Collaboration as In-Service Teacher-Training – Aivas Ragauskas/Raimonda Ragauskiene: War and Peace in Historical Education of Modern Lithuania – Helmut Wehr: Gewaltlos glücklich – Karl Hayo Siemsen/Joachim Schwarz/Hayo Siemsen: Mathematische Bildung auf der Fährte der Reproduzierbarkeit – Gintaute Žibeniene/Marijona Barkauskaite: The Pre-service Social Pedagogues’-First Year Students’-Vision of Quality Studies – Elvyda Martišauskiene: The Controversy of National Education: Towards Depth or Shallowness? – Tatjana Bulajeva/Šarune Nagrockaite: (Re)conceptionalisation of Curriculum in Contemporary Educational Discourse: International and Lithuanian Perspectives – Eva Rass: Identitätsentwicklung bei Schwächen in der Wahrnehmungsorganisation. Aufwachsen unter erschwerten Bedingungen mit besonderer Berücksichtigung der Affektregulations- und Bindungstheorie – Birute Autukeviciene/Ona Monkeviciene: Personal Competence in the Structure of Model of Mentor Competences and its Expression – Alvyra Galkiene: Professional Identity Characteristics of a Teacher Implementing Inclusive Education: Pupil and Teacher Experience – Palmira Peciuliauskiene/Ilona Valantinaite: The Creative Originality and Technological Inclinations of female Trainee Teachers of Technologies – Živile Sedereviciute-Paciauskiene: Technological Education as a Platform for Developing Global and National Identity – Ona Tijuneliene/Janina Bukantiene: Being Oneself: Changes in the Lithuanian Prospective Teachers‘ National Identity Building – Emilija Urnežiene: The Challenges of Globalization for the National Identity of Trainee Teachers – Benediktas Šetkus
    Additional Edition: ISBN 9783631656105
    Additional Edition: Available in another form ISBN 9783631656105
    Language: English
    DOI: 10.3726/978-3-653-04836-0
    URL: Volltext
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Online Access
    Open Access Request
    UB Potsdam
  • 9
    Book
    Book
    Concurrency, specification and programming : revised selected papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany (2023)
    Cham : Springer
    Details
    UID:
    b3kat_BV049046649
    Format: xii, 231 Seiten , Illustrationen, Diagramme (überwiegend farbig)
    ISBN: 9783031266508
    Series Statement: Studies in computational intelligence volume 1091
    Additional Edition: Erscheint auch als Online-Ausgabe ISBN 978-3-031-26651-5
    Language: English
    Subjects: Computer Science
    RVK:
    ST 300
    Keywords: Konferenzschrift
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    HU Berlin get availability status
  • 10
    Online Resource
    Online Resource
    A user study for evaluation of formal verification results and their explanation at Bosch (2023)
    Berlin : Humboldt-Universität zu Berlin
    Details
    UID:
    edochu_18452_29148
    Format: 1 Online-Ressource (67 Seiten)
    Content: Context Ensuring safety for any sophisticated system is getting more complex due to the rising number of features and functionalities. This calls for formal methods to entrust confidence in such systems. Nevertheless, using formal methods in industry is demanding because of their lack of usability and the difficulty of understanding verification results. Objective We evaluate the acceptance of formal methods by Bosch automotive engineers, particularly whether the difficulty of understanding verification results can be reduced. Method We perform two different exploratory studies. First, we conduct a user survey to explore challenges in identifying inconsistent specifications and using formal methods by Bosch automotive engineers. Second, we perform a one-group pretest-posttest experiment to collect impressions from Bosch engineers familiar with formal methods to evaluate whether understanding verification results is simplified by our counterexample explanation approach. Results The results from the user survey indicate that identifying refinement inconsistencies, understanding formal notations, and interpreting verification results are challenging. Nevertheless, engineers are still interested in using formal methods in real-world development processes because it could reduce the manual effort for verification. Additionally, they also believe formal methods could make the system safer. Furthermore, the one-group pretest-posttest experiment results indicate that engineers are more comfortable understanding the counterexample explanation than the raw model checker output. Limitations The main limitation of this study is the generalizability beyond the target group of Bosch automotive engineers.
    Content: Peer Reviewed
    In: Dordrecht [u.a.] : Springer Science + Business Media B.V, 28,5
    Language: English
    DOI: 10.18452/28517
    DOI: 10.1007/s10664-023-10353-4
    URN: urn:nbn:de:kobv:11-110-18452/29148-1
    URL: Volltext  (kostenfrei)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Fulltext
    HU Berlin
Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages