Search

Your search keyword '"Padberg, Julia"' showing total 157 results
Start Over Author "Padberg, Julia"
157 results on '"Padberg, Julia"'

1. Der Weg zur digitalen Arbeitsmappe: Digitales Pr\'ufungswesen mit Zertifizierung

Author

Becke, Martin and Padberg, Julia

Subjects
Computer Science - Computers and Society
Abstract

The aim of the work is to present an alternative approach to recording and evaluating student performance that enables sustainable performance recording with the possibility of integrating practical components in particular. The intended result is a digital portfolio with work samples - and not just certificates, which can be understood as a portfolio examination in the context of academic assessment. This is more about the recording, evaluation and certification of learning progress and competencies than the selective evaluation of a performance review, as is the case today, for example, with the submission of final theses. The idea is to expand and later replace final papers and performance tests, particularly in higher semesters, and instead introduce electronically recorded portfolio examinations - based on the example of teaching projects. Technologically, the approach is based on blockchain and wallets/repositories and, in the broadest sense, on an implementation of smart contracts. The technological approach of smart contracts enables a high degree of traceability and transparency with little administrative effort. It also offers secure certification of services by the provider. It should be clearly stated that neither the portfolio examination nor the administration of academic achievements with smart contracts is the original idea, but rather the change in the recording of academic achievements towards an alternative approach to the recording and evaluation of student performance, which enables sustainable performance recording with the possibility of integrating practical components in particular. The desired result is a digital portfolio with work samples. The primary aim of this idea sketch is to develop an individualized performance record for students, which can also contribute to making performance more transparent and comprehensible., Comment: in German language

Published
2024

2. Computer Science for Future -- Sustainability and Climate Protection in the Computer Science Courses of the HAW Hamburg

Author

Eickstädt, Elina, Becke, Martin, Kohler, Martin, and Padberg, Julia

Subjects
Computer Science - Computers and Society
Abstract

Computer Science for Future (CS4F) is an initiative in the Department of Computer Science at HAW Hamburg. The aim of the initiative is a paradigm shift in the discipline of computer science, thus establishing sustainability goals as a primary leitmotif for teaching and research. The focus is on teaching since the most promising multipliers are the students of a university. The change in teaching influences our research, the transfer to business and civil society as well as the change in our own institution. In this article, we present the initiative CS4F and reflect primarily on the role of students as amplifiers in the transformation process of computer science.

Published
2023

3. Subtyping for Hierarchical, Reconfigurable Petri Nets

Author

Padberg, Julia

Subjects
Computer Science - Discrete Mathematics, Computer Science - Logic in Computer Science
Abstract

Hierarchical Petri nets allow a more abstract view and reconfigurable Petri nets model dynamic structural adaptation. In this contribution we present the combination of reconfigurable Petri nets and hierarchical Petri nets yielding hierarchical structure for reconfigurable Petri nets. Hierarchies are established by substituting transitions by subnets. These subnets are themselves reconfigurable, so they are supplied with their own set of rules. Moreover, global rules that can be applied in all of the net, are provided.

Published
2018

4. Towards M-Adhesive Categories based on Coalgebras and Comma Categories

Author

Padberg, Julia

Subjects
Computer Science - Logic in Computer Science
Abstract

In this contribution we investigate several extensions of the powerset that comprise arbitrarily nested subsets, and call them superpower set. This allows the definition of graphs with possibly infinitely nested nodes. additionally we define edges that are incident to edges. Since we use coalgebraic constructions we refer to these graphs as corecursive graphs. The superpower set functors are examined and then used for the definition of $\mathcal{M}$-adhesive categories which are the basic categories for $\mathcal{M}$-adhesive transformation systems. So, we additionally show that coalgebras $\mathbf{Sets}_F$ are $\mathcal{M}$-adhesive categories provided the functor $F:\mathbf{Sets}_F \to \mathbf{Sets}_F$ preserves pullbacks along monomorphisms.

Published
2017

5. Reconfigurable Decorated PT Nets with Inhibitor Arcs and Transition Priorities

Author

Padberg, Julia

Subjects
Computer Science - Logic in Computer Science, Computer Science - Discrete Mathematics
Abstract

In this paper we deal with additional control structures for decorated PT Nets. The main contribution are inhibitor arcs and priorities. The first ensure that a marking can inhibit the firing of a transition. Inhibitor arcs force that the transition may only fire when the place is empty. an order of transitions restrict the firing, so that an transition may fire only if it has the highest priority of all enabled transitions. This concept is shown to be compatible with reconfigurable Petri nets.

Published
2014

6. A Tutorial on Graph Transformation

Author

König, Barbara, Nolte, Dennis, Padberg, Julia, Rensink, Arend, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Heckel, Reiko, editor, and Taentzer, Gabriele, editor

Published
2018
Full Text
View/download PDF

7. Overview of Reconfigurable Petri Nets

Author

Padberg, Julia, Kahloul, Laid, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Heckel, Reiko, editor, and Taentzer, Gabriele, editor

Published
2018
Full Text
View/download PDF

8. Hierarchical Graph Transformation Revisited : Transformations of Coalgebraic Graphs

Author

Padberg, Julia, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, de Lara, Juan, editor, and Plump, Detlef, editor

Published
2017
Full Text
View/download PDF

9. Model Checking Reconfigurable Petri Nets with Maude

Author

Padberg, Julia, Schulz, Alexander, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Echahed, Rachid, editor, and Minas, Mark, editor

Published
2016
Full Text
View/download PDF

10. Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs

Author

Padberg, Julia, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Parisi-Presicce, Francesco, editor, and Westfechtel, Bernhard, editor

Published
2015
Full Text
View/download PDF

15. Transformations in Reconfigurable Place/Transition Systems

Author

Prange, Ulrike, Ehrig, Hartmut, Hoffmann, Kathrin, Padberg, Julia, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Degano, Pierpaolo, editor, De Nicola, Rocco, editor, and Meseguer, José, editor

Published
2008
Full Text
View/download PDF

17. Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems

Author

Ehrig, Hartmut, Hoffmann, Kathrin, Padberg, Julia, Prange, Ulrike, Ermel, Claudia, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Rangan, C. Pandu, editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Kleijn, Jetty, editor, and Yakovlev, Alex, editor

Published
2007
Full Text
View/download PDF

18. Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks

Author

Padberg, Julia, Hoffmann, Kathrin, Ehrig, Hartmut, Modica, Tony, Biermann, Enrico, Ermel, Claudia, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Rangan, C. Pandu, editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Dwyer, Matthew B., editor, and Lopes, Antónia, editor

Published
2007
Full Text
View/download PDF

19. Loose Semantics of Petri Nets

Author

Padberg, Julia, Kreowski, Hans-Jörg, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Kreowski, Hans-Jörg, editor, Montanari, Ugo, editor, Orejas, Fernando, editor, Rozenberg, Grzegorz, editor, and Taentzer, Gabriele, editor

Published
2005
Full Text
View/download PDF

20. Adhesive High-Level Replacement Categories and Systems

Author

Ehrig, Hartmut, Habel, Annegret, Padberg, Julia, Prange, Ulrike, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Ehrig, Hartmut, editor, Engels, Gregor, editor, Parisi-Presicce, Francesco, editor, and Rozenberg, Grzegorz, editor

Published
2004
Full Text
View/download PDF

21. Graph Grammars and Petri Net Transformations

Author

Ehrig, Hartmut, Padberg, Julia, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Desel, Jörg, editor, Reisig, Wolfgang, editor, and Rozenberg, Grzegorz, editor

Published
2004
Full Text
View/download PDF

22. Transforming Specification Architectures by GenGED

Author

Bardohl, Roswitha, Ermel, Claudia, Padberg, Julia, Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Corradini, Andrea, editor, Ehrig, Hartmut, editor, Kreowski, Hans -Jörg, editor, and Rozenberg, Grzegorz, editor

Published
2002
Full Text
View/download PDF

24. High-Level Net Processes

Author

Ehrig, Hartmut, Hoffmann, Kathrin, Padberg, Julia, Baldan, Paolo, Heckel, Reiko, Goos, G., editor, Hartmanis, J., editor, van Leeuwen, J., editor, Brauer, Wilfried, editor, Ehrig, Hartmut, editor, Karhumäki, Juhani, editor, and Salomaa, Arto, editor

Published
2002
Full Text
View/download PDF

28. Workshop on Petri Nets and Graph Transformations

Author

Baldan, Paolo, Ehrig, Hartmut, Padberg, Julia, Rozenberg, Grzegorz, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Corradini, Andrea, editor, Ehrig, Hartmut, editor, Montanari, Ugo, editor, Ribeiro, Leila, editor, and Rozenberg, Grzegorz, editor

Published
2006
Full Text
View/download PDF

30. Workshop on Petri Nets and Graph Transformations

Author

Ehrig, Hartmut, Padberg, Julia, Rozenberg, Grzegorz, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Ehrig, Hartmut, editor, Engels, Gregor, editor, Parisi-Presicce, Francesco, editor, and Rozenberg, Grzegorz, editor

Published
2004
Full Text
View/download PDF

37. Petri Net Transformations

Author

Ehrig, Hartmut, primary, Hoffmann, Kathrin, additional, Padberg, Julia, additional, Ermel, Claudia, additional, Prange, Ulrike, additional, Biermann, Enrico, additional, and Modic, Tony, additional

Published
2008
Full Text
View/download PDF

47. Ein Ansatz zur nachvollziehbaren Verifikation medizinisch-cyber-physikalischer Systeme

Author

Padberg, Julia, Schlaefer, Alexander, Schupp, Sibylle, Padberg, Julia, Schlaefer, Alexander, and Schupp, Sibylle

Abstract

Medizinische cyberphysikalische Systeme erfordern einerseits die Adaption an patientenindividuelle Parameter während einer Behandlung und andererseits den Nachweis eines sicheren Systemverhaltens. Wir schlagen vor, Nachweisbarkeit mittels Online Model-Checking und Nachvollziehbarkeit durch Anwendung von regelbasierten Transformationen zu verbinden.

Published
2019

Catalog

Books, media, physical & digital resources
See catalog results