This theory formalizes a commutation version of decreasing diagrams for Church-Rosser modulo. The proof follows Felgenhauer and van Oostrom (RTA 2013). The theory also provides important specializations, in particular van Oostrom’s conversion version (TCS 2008) of decreasing diagrams. We follow the development described in [1]: Conversions are mapped to Greek strings, and we prove that whenever...

......................................................................................... II CHAPTER 1 – INTRODUCING THE STUDY ............................................. 1 THE PERSONAL CONTEXT ........................................................................... 2 THE PROFESSIONAL CONTEXT ...................................................................... 5 THE REGISTERED PHARMACIST...

In write-once memory (e.g., Flash), a cell’s level can only be raised, and erasure is only in bulk. The total number of erasures (endurance) is limited, and drops sharply with technology shrinkage and with cell-capacity increase. The normalized write capacity (ratio of total amount of data that can be written to storage capacity) drops similarly. Various coding schemes enable overwrites at the ...

With the rise of portal sites for image-file download of musical scores, the electronic distribution of musical scores, an activity in progress of 15 years, has attracted increased attention. We describe several data models for score distribution and emphasize the one used in the MuseData archive of musical data (1984–). This archive (containing substantial quantities of the music of Bach, Hand...

quṭb al-dīn al-shīrāzī (634h/1236ce-710h/1311ce) wrote four major works on astronomy: nihāyat al‐idrāk fī dirāyat al‐aflāk (“the utmost attainment in comprehending the orbs), in arabic, first edition completed mid-shaʿbān 680/november 1281); the ikhtiyārāt‐i muẓaffarī (“selections for muẓaffar al-dīn arslan” [a minor ruler in qasṭamūnī (modern kastamonu, turkey)], in persian, completed sometime...

Open Educational Resources (OERs) have gained increased attention for their potential to provide equitable and accessible educational facilities for people worldwide. Obviating demographic, economic, and geographic educational boundaries can be the OERs slogan. Realization of this promise is an inevitable target of eLearning, thus offering education new challenges. In this observation paper, we...

Abstract In 2019 a tiny gold tablet, once folded several times, turned up in private collection Hungary. Due to its physical appearance and the layout of text, tablet originally had been identified as ‘foil with Greek magical inscription’ an auction catalogue. At first glance, however, it becomes obvious that text was written Latin letters. Although parts recall Christian apologists' works, pag...

We present an access method for timeslice queries that reconstructs a past state s(t) of a time-evolving collection of objects, in O(log,, n + Is(t)l/b) I/O ‘8, where Is(t)1 denotes the size of the collection at time t, n is the total number of changes in the collection’s evolution and b is the size of an I/O transfer. Changes include the addition, deletion or attribute modification of objects;...

We report on the results of intensive ultraviolet spectral monitoring of the Seyfert 1 galaxy NGC 3783. The nucleus of NGC 3783 was observed with the International Ultraviolet Explorer satellite on a regular basis for a total of 7 months, once every 4 days for the first 172 days and once every other day for the final 50 days. Significant variability was observed in both continuum and emission-l...

Temporal spectral astronomy or time resolved astronomy is the study of astrophysical phenomena that show spectral variability on very short timescales. These timescales are often too short to be resolved by current astronomical equipment. The lack of detailed observations in this area keeps important theoretical descriptions of astronomical events unclear or incomplete. To resolve this, instrum...