Segref, A., Kevei, É., Pokrzywa, W., Schmeisser, K., Mansfeld, J., Livnat­Levanon, N., Ensenauer, R., Glickman, M. H., Ristow, M. and Hoppe, T. (2014) Pathogenesis of human mitochondrial diseases is modulated by reduced activity of the ubiquitin/proteasome system. Cell Metabolism, 19 (4). pp. 642­ 652. ISSN 1550­4131 doi: https://doi.org/10.1016/j.cmet.2014.01.016 Available at http://centaur.re...

the byzantine art belogs to the world of christianity. the world of christianity has some characteristics which generally reflect the art works belonging to the christian era. any interpretation, critic and studies of the byzantine era art is possible only if it is done on the basis of knowing the world it belongs to. the core of chritian world is the sacred writ and the divine words. the adven...

Base tables supporting transaction time are ever-growing because all logical updates, including deletions, transform into insertions at the physical level. This contrasts snapshot tables where logical and physical deletion coincide. Logical deletion in TSQL2 was covered in 16. As there is a need for physical deletion capabilities in snapshot tables (and valid-time tables), there is also a need ...

This is a symposium by ten authors who had formed a group with the original intention of providing a considered statement on psychiatry from a Christian standpoint. But as no book was found possible to write, which would combine the different standpoints and experiences represented, a series of unconnected essays was produced instead. While such a result may cause no surprise, and should not be...

From 2004 to 2010 I served as a researcher and advisor in the Australian Government’s values education projects. During the task of helping schools implementing and conducting research on values education, I took the opportunity to observe the importance explorative and imaginative modes of teaching and learning might have in the formation of values. In this essay, I argue that imaginative teac...

Sustained growth in high performance computing and the availability of advanced mobile devices increase the use of computation intensive applications. To ensure fast execution and consequently low power usage modern hardware provides multi-level caches, multiple cores, SIMD instructions or even dedicated vector accelerators. Taking advantage of those manually is difficult and often not possible...

We study the optimal combination of corporate tax rate and tax base in a model of a small open economy with heterogeneous firms. We show that it is optimal for the small country’s government to effectively subsidize capital inputs by granting a tax allowance in excess of the true costs of capital. Economic integration reduces the optimal capital subsidy and drives low-productivity firms from th...

Based on Isabelle/HOL’s type class for preorders, we introduce a type class for well-quasi-orders (wqo) which is characterized by the absence of “bad” sequences (our proofs are along the lines of the proof of Nash-Williams [1], from which we also borrow terminology). Our main results are instantiations for the product type, the list type, and a type of finite trees, which (almost) directly foll...