Last 7 days
Bookmark and Share    
Full Text
Peer Reviewed
See detailMulticenter Alzheimer's and Parkinson's disease immune biomarker verification study
Brosseron, Federic; Schneider, Reinhard UL

in Alzheimer's and Dementia: the Journal of the Alzheimer's Association (2019)

Multiple immunity biomarkers have been suggested as tracers of neuroinflammation in neurodegeneration. This study aimed to verify findings in cerebrospinal fluid (CSF) samples of Alzheimer's disease (AD ... [more ▼]

Multiple immunity biomarkers have been suggested as tracers of neuroinflammation in neurodegeneration. This study aimed to verify findings in cerebrospinal fluid (CSF) samples of Alzheimer's disease (AD) and Parkinson's disease (PD) subjects from the network of the European, Innovative Medicines Initiative–funded project AETIONOMY. [less ▲]

Detailed reference viewed: 4 (2 UL)
Full Text
Peer Reviewed
See detailGraphical Models for Security - 6th International Workshop, Revised Papers
Albanese, Massimiliano; Horne, Ross James UL; Probst, Christian W.

Scientific Conference (2019)

Detailed reference viewed: 5 (0 UL)
Full Text
Peer Reviewed
See detailDe Morgan Dual Nominal Quantifiers Modelling Private Names in Non-Commutative Logic
Horne, Ross James UL; Tiu, Alwen; Aman, Bogdan et al

in ACM Transactions in Computational Logic (TOCL) (2019), 20(4), 221--2244

Detailed reference viewed: 5 (0 UL)
Full Text
Peer Reviewed
See detailThe Sub-Additives: A Proof Theory for Probabilistic Choice extending Linear Logic
Horne, Ross James UL

in 4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019). (2019)

Detailed reference viewed: 6 (0 UL)
Full Text
Peer Reviewed
See detailGlobal Types with Internal Delegation
Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola; Giannini, Paola et al

in Theoretical Computer Science (2019)

This paper investigates a new form of delegation for multiparty session calculi. Usually, delegation allows a session participant to appoint a participant in another session to act on her behalf. This ... [more ▼]

This paper investigates a new form of delegation for multiparty session calculi. Usually, delegation allows a session participant to appoint a participant in another session to act on her behalf. This means that delegation is inherently an inter-session mechanism, which requires session interleaving. Hence delegation falls outside the descriptive power of global types, which specify single sessions. As a consequence, properties such as deadlock-freedom or lock-freedom are difficult to ensure in the presence of delegation. Here we adopt a different view of delegation, by allowing participants to delegate tasks to each other within the same multiparty session. This way, delegation occurs within a single session (internal delegation) and may be captured by its global type. To increase flexibility in the use of delegation, our calculus uses connecting communications, which allow optional participants in the branches of choices. By these means, we are able to express conditional delegation. We present a session type system based on global types with internal delegation, and show that it ensures the usual safety properties of multiparty sessions, together with a progress property. [less ▲]

Detailed reference viewed: 7 (0 UL)
Full Text
Peer Reviewed
See detailFELICS-AEAD: Benchmarking of Lightweight Authenticated Encryption Algorithms
Cardoso Dos Santos, Luan UL; Groszschädl, Johann UL; Biryukov, Alex UL

in Smart Card Research and Advanced Applications, 18th International Conference (2019)

Cryptographic algorithms that can simultaneously provide both encryption and authentication play an increasingly important role in modern security architectures and protocols (e.g.\ TLS v1.3). Dozens of ... [more ▼]

Cryptographic algorithms that can simultaneously provide both encryption and authentication play an increasingly important role in modern security architectures and protocols (e.g.\ TLS v1.3). Dozens of authenticated encryption systems have been designed in the past five years, which has initiated a large body of research in cryptanalysis. The interest in authenticated encryption has further risen after the National Institute of Standards and Technology (NIST) announced an initiative to standardize ``lightweight'' authenticated ciphers and hash functions that are suitable for resource-constrained devices. However, while there already exist some cryptanalytic results on these recent designs, little is known about their performance, especially when they are executed on small 8, 16, and 32-bit microcontrollers. In this paper, we introduce an open-source benchmarking tool suite for a fair and consistent evaluation of Authenticated Encryption with Associated Data (AEAD) algorithms written in C or assembly language for 8-bit AVR, 16-bit MSP430, and 32-bit ARM Cortex-M3 platforms. The tool suite is an extension of the FELICS benchmarking framework and provides a new AEAD-specific low-level API that allows users to collect very fine-grained and detailed results for execution time, RAM consumption, and binary code size in a highly automated fashion. FELICS-AEAD comes with two pre-defined evaluation scenarios, which were developed to resemble security-critical operations commonly carried out by real IoT applications to ensure the benchmarks are meaningful in practice. We tested the AEAD tool suite using five authenticated encryption algorithms, namely AES-GCM and the CAESAR candidates ACORN, ASCON, Ketje-Jr, and NORX, and present some preliminary results. [less ▲]

Detailed reference viewed: 8 (6 UL)
Full Text
Peer Reviewed
See detailStatistics of Colloidal Suspensions Stirred by Microswimmers
Ortlieb, Levke; Rafai, Salima; Peyla, Philippe et al

in Physical Review Letters (2019), 122(14),

We present a statistical analysis of the experimental trajectories of colloids in a dilute suspension of the green algae Chlamydomonas reinhardtii. The measured probability density function (pdf) of the ... [more ▼]

We present a statistical analysis of the experimental trajectories of colloids in a dilute suspension of the green algae Chlamydomonas reinhardtii. The measured probability density function (pdf) of the displacements of colloids covers 7 orders of magnitude. The pdfs are characterized by non-Gaussian tails for intermediate time intervals, but nevertheless they collapse when scaled with their standard deviation. This diffusive scaling breaks down for longer time intervals and the pdf becomes Gaussian. However, the mean squared displacements of tracer positions are linear over the complete measurement time interval. Experiments are performed for various tracer diameters, swimmer concentrations, and mean swimmer velocities. This allows a rigorous comparison with several theoretical models. We can exclude a description based on an effective temperature and other mean field approaches that describe the irregular motion as a sum of the fluctuating far field of many microswimmers. The data are best described by the microscopic model by J.-L. Thiffeault, Distribution of particle displacements due to swimming microorganisms, Phys. Rev. E 92, 023023 (2015). [less ▲]

Detailed reference viewed: 5 (0 UL)
Full Text
Peer Reviewed
See detailSwimming of bacterium Bacillus subtilis with multiple bundles of flagella
Najafi, Javad; Altegoer, Florian; Bange, Gert et al

in SOFT MATTER (2019), 15(48), 10029-10034

We characterize the bundle properties for three different strains of B. subtilis bacteria with various numbers of flagella. Our study reveals that, surprisingly, the number of bundles is independent of ... [more ▼]

We characterize the bundle properties for three different strains of B. subtilis bacteria with various numbers of flagella. Our study reveals that, surprisingly, the number of bundles is independent of the number of flagella, and the formation of three bundles is always the most frequent case. We assume that this relates to the fact that different mutants have the same body length. There is no significant difference between the bundle width and length for distinct strains, but the projected angle between the bundles increases with the flagellar number. Furthermore, we find that the swimming speed is anti-correlated with the projected angle between the bundles, and the wobbling angle between the swimming direction and cell body increases with the number of flagella. Our findings highlight the impact of geometrical properties of bacteria such as body length and bundle configuration on their motility. [less ▲]

Detailed reference viewed: 4 (0 UL)
Full Text
Peer Reviewed
See detailMacro- and Microrheological Properties of Mucus Surrogates in Comparison to Native Intestinal and Pulmonary Mucus
Huck, Benedikt C.; Hartwig, Olga; Biehl, Alexander et al

in BIOMACROMOLECULES (2019), 20(9), 3504-3512

Mucus is a complex hydrogel that acts as a protective barrier in various parts of the human body. Both composition and structural properties play a crucial role in maintaining barrier properties while ... [more ▼]

Mucus is a complex hydrogel that acts as a protective barrier in various parts of the human body. Both composition and structural properties play a crucial role in maintaining barrier properties while dictating diffusion of molecules and (nano)materials. In this study, we compare previously described mucus surrogates with the native human airway and pig intestinal mucus. Oscillatory shear rheology was applied to characterize mucus on the bulk macrorheological level, revealing that the artificial airway surrogate deviates from the elastic-dominant behavior of native mucus samples. We circumvented this limitation through the addition of a cross-linking polymer to the surrogate adjusting the rheological properties closer to those of native mucus. Applying particle tracking microrheology, we further demonstrated that the mechanical properties at the microscale differ significantly between artificial and native mucus. We conclude that proper characterization of mucus and its surrogates is vital for a reliable investigation of nanoparticle-based mucosal drug delivery. [less ▲]

Detailed reference viewed: 7 (0 UL)
Full Text
Peer Reviewed
See detailGlutaraldehyde - A Subtle Tool in the Investigation of Healthy and Pathologic Red Blood Cells
Abay, Asena; Simionato, Greta; Chachanidze, Revaz et al

in FRONTIERS IN PHYSIOLOGY (2019), 10

Glutaraldehyde is a well-known substance used in biomedical research to fix cells. Since hemolytic anemias are often associated with red blood cell shape changes deviating from the biconcave disk shape ... [more ▼]

Glutaraldehyde is a well-known substance used in biomedical research to fix cells. Since hemolytic anemias are often associated with red blood cell shape changes deviating from the biconcave disk shape, conservation of these shapes for imaging in general and 3D-imaging in particular like confocal microscopy, scanning electron microscopy or scanning probe microscopy is a common desire. Along with the fixation comes an increase in the stiffness of the cells. In the context of red blood cells this increased rigidity is often used to mimic malaria infected red blood cells because they are also stiffer than healthy red blood cells. However, the use of glutaraldehyde is associated with numerous pitfalls: (i) while the increase in rigidity by an application of increasing concentrations of glutaraldehyde is an analog process, the fixation is a rather digital event (all or none); (ii) addition of glutaraldehyde massively changes osmolality in a concentration dependent manner and hence cell shapes can be distorted; (iii) glutaraldehyde batches differ in their properties especially in the ratio of monomers and polymers (iv) handling pitfalls, like inducing shear artifacts of red blood cell shapes or cell density changes that needs to be considered, e.g., when working with cells in flow; (v) staining glutaraldehyde treated red blood cells need different approaches compared to living cells, for instance, because glutaraldehyde itself induces a strong fluorescence. Within this paper we provide documentation about the subtle use of glutaraldehyde on healthy and pathologic red blood cells and how to deal with or circumvent pitfalls. [less ▲]

Detailed reference viewed: 6 (0 UL)
Full Text
Peer Reviewed
See detailThe Evolution of Erythrocytes Becoming Red in Respect to Fluorescence
Hertz, Laura; Ruppenthal, Sandra; Simionato, Greta et al

in FRONTIERS IN PHYSIOLOGY (2019), 10

Very young red blood cells, namely reticulocytes, can be quite easily recognized and labeled by cluster of differentiation antibodies (CD71 transferrin receptor) or by staining remnant RNA with thiazol ... [more ▼]

Very young red blood cells, namely reticulocytes, can be quite easily recognized and labeled by cluster of differentiation antibodies (CD71 transferrin receptor) or by staining remnant RNA with thiazol orange. In contrast, age specific erythrocyte labeling is more difficult in later periods of their life time. While erythrocytes contain band 4.1 protein a molecular clock, so far it has not been possible to read this clock on individual cells. One concept to track erythrocytes during their life time is to mark them when they are young, either directly in vivo or ex vivo followed by a transfusion. Several methods like biotinylation, use of isotopes or fluorescent labeling have proved to be useful experimental approaches but also have several inherent disadvantages. Genetic engineering of mice provides additional options to express fluorescent proteins in erythrocytes. To allow co-staining with popular green fluorescent dyes like Fluo-4 or other fluorescein-based dyes, we bred a mouse line expressing a tandem red fluorescent protein (tdRFP). Within this Brief Research Report, we provide the initial characterisation of this mouse line and show application examples ranging from transfusion experiments and intravital microscopy to multicolour flow cytometry and confocal imaging. We provide a versatile new tool for erythrocyte research and discuss a range of experimental opportunities to study membrane processes and other aspects of erythrocyte development and aging with help of these animals. [less ▲]

Detailed reference viewed: 7 (0 UL)
Full Text
Peer Reviewed
See detailAn image processing pipeline to segment iris for unconstrained cow identification system
Larregui, Juan I.; Cazzato, Dario UL; Castro, Silvia M.

in Open Computer Science (2019), 9(1), 145--159

Detailed reference viewed: 6 (0 UL)
Full Text
Peer Reviewed
See detailA non-invasive tool for attention-deficit disorder analysis based on gaze tracks
Cazzato, Dario UL; Castro, Silvia M.; Agamennoni, Osvaldo et al

in Proceedings of the 2nd International Conference on Applications of Intelligent Systems (2019)

Detailed reference viewed: 9 (1 UL)
Full Text
Peer Reviewed
See detailUnderstanding and Modelling Human Attention for Soft Biometrics Purposes
Cazzato, Dario UL; Leo, Marco; Carcagnì, Pierluigi et al

in AIVR 2019: Proceedings of the 2019 3rd International Conference on Artificial Intelligence and Virtual Reality (2019)

Detailed reference viewed: 42 (2 UL)
Full Text
Peer Reviewed
See detailVision-Based Aircraft Pose Estimation for UAVs Autonomous Inspection without Fiducial Markers
Cazzato, Dario UL; Olivares Mendez, Miguel Angel UL; Sanchez Lopez, Jose Luis UL et al

in IECON 2019-45th Annual Conference of the IEEE Industrial Electronics Society (2019)

Detailed reference viewed: 8 (3 UL)
Full Text
Peer Reviewed
See detailReal-Time Human Head Imitation for Humanoid Robots
Cazzato, Dario UL; Cimarelli, Claudio UL; Sanchez Lopez, Jose Luis UL et al

in Proceedings of the 2019 3rd International Conference on Artificial Intelligence and Virtual Reality (2019)

Detailed reference viewed: 7 (2 UL)
Full Text
Peer Reviewed
See detailConstructing weak simulations from linear implications for processes with private names
Horne, Ross James UL; Tiu, Alwen

in Mathematical Structures in Computer Science (2019)

Detailed reference viewed: 49 (0 UL)
Full Text
Peer Reviewed
See detailUnderpricing of initial public offerings in experimental asset markets
Neugebauer, Tibor UL; Füllbrunn, Sascha; Nicklisch, Andreas

in Experimental Economics (2019)

Detailed reference viewed: 19 (3 UL)
Full Text
Peer Reviewed
See detailOptimising patients’ medical care after prison in Luxembourg
Batista, Jorge; Stein, Romain; Baumann, Michèle UL

in General Practice : The human side of medicine (2019)

Introduction : Passing through prison can be a health gain for the incarcerated population and release from prison can become a period of vulnerability where this potentially acquired gain is lost if the ... [more ▼]

Introduction : Passing through prison can be a health gain for the incarcerated population and release from prison can become a period of vulnerability where this potentially acquired gain is lost if the transition back to civil society in not anticipated. The main objective was the identification and analysis of the factors favor and oppose primary care practice for patients leaving prison in Luxembourg. The secondary objective was to develop recommendations based on the key findings through a literature’s review. Methods : A qualitative study using semi-structured interviews was conducted with general practitioners and patient-inmates. The questions from the two interview guides were similar so that the analysis allowed the results to be mirrored. Using the interviews’ transcripts, a categorical thematic content analysis of those was conducted based on the objectives. On the basis of verbatim, items were formulated and grouped into dimensions and then themes. Results : Our analysis has highlighted the lack of links between the prison and the outside world at each stage of medical and psychosocial care from the point of view of care and support proposed in prison until prison release. Recommendations for doable improvements have been proposed, such as the creation of a general practitioners’ network continuing the medical care as well as genuine cooperation with organisations dealing with drug addicts. Conclusion : Reforms concerning prison care should be considered between the system of prison release, the creation of socio-medical relays and alternatives to incarceration, in analogy to the transitions clinics found in the United States [less ▲]

Detailed reference viewed: 11 (0 UL)