Abstract
A fast calculation method was used to obtain the spectral optical properties of human normal and pathological (chromophobe renal cell carcinoma) kidney tissues. Using total transmittance, total reflectance and collimated transmittance spectra acquired from ex vivo kidney samples, the spectral optical properties of both tissues, namely the absorption, the scattering and the reduced scattering coefficients, as well as the scattering anisotropy, dispersion and light penetration depth, were calculated between 200 and 1000 nm. Analysis of the mean absorption coefficient spectra of the kidney tissues showed that both contain melanin and lipofuscin, and that 83 % of the melanin in the normal kidney converts into lipofuscin in the pathological kidney.

Abstract
The full realization of the potential of a technology requires good understanding of its imple-mentation. During implementations, lack of compatibility between technology and its adopters require dynamic sequences of alignment. This process is understood to be central to the success in technology assimilation. This paper proposes a configurational model to explain and predict the alignment process during technology implementations, derived from a multiple case research of the implementation of a retinopathy screening program in networks of healthcare providers. It builds on and expands previous research capturing in a holistic way the alignment process and its nature of adaptation over time.

Abstract
Records are a composite data type available in most programming and specification languages, but they are not natively supported by Alloy. As a consequence, users often find themselves having to simulate records in ad hoc ways, a strategy that is error prone and often encumbers the analysis procedures. This paper proposes a conservative extension to the Alloy language to support record signatures. Uniqueness and completeness is imposed on the atoms of such signatures, while still supporting Alloy's flexible signature hierarchy. The Analyzer has been extended to internally expand such record signatures as partial knowledge for the solving procedure. Evaluation shows that the proposed approach is more efficient than commonly used idioms.

Abstract
We extend and consolidate the security justification for the Dilithium signature scheme. In particular, we identify a subtle but crucial gap that appears in several ROM and QROM security proofs for signature schemes that are based on the Fiat-Shamir with aborts paradigm, including Dilithium. The gap lies in the CMA-to-NMA reduction and was uncovered when trying to formalize a variant of the QROM security proof by Kiltz, Lyubashevsky, and Schaffner (Eurocrypt 2018). The gap was confirmed by the authors, and there seems to be no simple patch for it. We provide new, fixed proofs for the affected CMA-to-NMA reduction, both for the ROM and the QROM, and we perform a concrete security analysis for the case of Dilithium to show that the claimed security level is still valid after addressing the gap. Furthermore, we offer a fully mechanized ROM proof for the CMA-security of Dilithium in the EasyCrypt proof assistant. Our formalization includes several new tools and techniques of independent interest for future formal verification results.

Abstract
Modern online platforms for user modeling and recommendation require complex data infrastructures to collect and process data. Some of this data has to be kept to later be used in batches to train personalization models. However, since user activity data can be generated at very fast rates it is also useful to have algorithms able to process data streams online, in real time. Given the continuous and potentially fast change of content, context and user preferences or intents, stream-based models, and their synchronization with batch models can be extremely challenging. Therefore, it is important to investigate methods able to transparently and continuously adapt to the inherent dynamics of user interactions, preferably over long periods of time. Models able to continuously learn from such flows of data are gaining attention in the recommender systems community, and are being increasingly deployed in online platforms. However, many challenges associated with learning from streams need further investigation. The objective of this workshop is to foster contributions and bring together a growing community of researchers and practitioners interested in online, adaptive approaches to user modeling, recommendation and personalization, and their implications regarding multiple dimensions, such as reproducibility, privacy, fairness, diversity, transparency, auditability, and compliance with recently adopted or upcoming legal frameworks worldwide. © 2023 Owner/Author.

Abstract