Petri nets are often used to model and analyze workflows. Many workflow languages have been mapped onto Petri nets in order to provide formal semantics or to verify correctness properties. Typically, the so-called Workflow nets are used to model and analyze workflows and variants of the classical soundness property are used as a correctness notion. Since many workflow languages have cancelation...

More than 15 years ago, a new approach to quantum mechanics was suggested, in which Hermiticity of the Hamiltonian was to be replaced by invariance under a discrete symmetry, the product of parity and time-reversal symmetry, PT . It was shown that, if PT is unbroken, energies were, in fact, positive, and unitarity was satisfied. Since quantum mechanics is quantum field theory in one dimension—t...

Wiederverwendung und Rekonfiguration sind zwei zentrale Herausforderungen für Autoren und Produzenten digitaler (Lern)Inhalte. Am Beispiel eines aktuell laufenden Projektes wird dargestellt, wie entsprechende Inhalte in rekonfigurierbarer Form nach dem Single-Source-Publishing-Ansatz erstellt und in multiplen Konfigurationen und Formaten ausgegeben werden können. Es wird aufgezeigt welche Mögli...

'Interactivity' is often proclaimed as one of the most valuable characteristics of educational software, yet it has rarely been adequately defined. This article provides an illustrated taxonomy of the different forms of interactivity offered by a range of 'edu-tainment' software wholly or partly intended for home use. It focuses on two key dimensions of interactivity – the extent of learner con...

Istana Qur’an adalah Pesantren Muhammadiyah modern di Desa Sarwodadi, Kecamatan Pejawaran, Banjarnegara, Provinsi Jawa Tengah. ini merupakan salah satu amal usaha yang didukung oleh Pimpinan Cabang (PCM) sebagai mitra dalam proyek pengabdian masyarakat ini. Berdasarkan letak geografisnya, pesantren dekat dengan kawasan wisata Dieng Banjarnegara sehingga dapat dijadikan penyangga destinasi Dieng...

We develop a behavioral axiomatic characterization of exponentially discounted utility (EDU) over consumption streams. Given is an individual agent’s behavior in the market: assume a finite collection of purchases across periods. We show that such behavior satisfies a “revealed preference axiom” if and only if there exists a EDU model (a discount rate per period and a concave utility function o...

Solution. We propose the DOREF (“do requirements first”) educational framework, which offers a language for requirements engineering combined with generators. Figure 3 shows an example of three requirements with a short name and different attributes. Our language is an internal DSL (domain-specific language) based on Python, thus it is executable. It is supported using a Python workbench such a...

A sentence may express sentiments on multiple aspects. When these aspects are associated with different sentiment polarities, a model’s accuracy is often adversely affected. We observe that in such hard sentences mostly expressed through clauses, or formally known as elementary discourse units (EDUs), and one EDU tends to single aspect unitary towards aspect. In this paper, we propose consider ...

Plant roots consist of a meristematic zone of mitotic cells and an elongation zone of rapidly expanding cells, in which DNA replication often occurs without cell division, a process known as endoreduplication. The duration of the cell cycle and DNA replication, as measured by 5-ethynyl-2'-deoxy-uridine (EdU) incorporation, differed between the two regions (17 h in the meristematic zone, 30 h in...