![]() Stojkovski, Borce ![]() ![]() ![]() in Proceedings of the 36th Annual ACM Symposium on Applied Computing (2021) Improving the usability and adoption of secure (i.e. end-to-end encrypted) email systems has been a notorious challenge for over two decades. One of the open questions concerns the amount and format of ... [more ▼] Improving the usability and adoption of secure (i.e. end-to-end encrypted) email systems has been a notorious challenge for over two decades. One of the open questions concerns the amount and format of information that should be communicated to users to inform them of the security and privacy properties with respect to different messages or correspondents. Contributing to the ongoing discussion on the usability and effectiveness of security and privacy indicators, particularly in the context of systems targeting non-expert users, this paper sheds light on users' evaluation of traffic light-inspired indicators, as a metaphor to represent different privacy states and guarantees, provided by a new system for email end-to-end encryption called p≡p. Using a mixed-methods approach, based on input gathered from 150 participants in three online studies, we highlight the pros and cons of the traffic light semantic in p≡p's context and beyond, and discuss the potential implications on the perceived security and use of such systems. [less ▲] Detailed reference viewed: 322 (12 UL)![]() Maciera Rodrigues, David ![]() Doctoral thesis (2011) Detailed reference viewed: 97 (5 UL)![]() Pohlmeyer, Anna Elisabeth ![]() Doctoral thesis (2011) Detailed reference viewed: 96 (0 UL)![]() Rappel, Hussein ![]() ![]() in Probabilistic Engineering Mechanics (2019), 55 We discuss Bayesian inference for the identi cation of elastoplastic material parameters. In addition to errors in the stress measurements, which are commonly considered, we furthermore consider errors in ... [more ▼] We discuss Bayesian inference for the identi cation of elastoplastic material parameters. In addition to errors in the stress measurements, which are commonly considered, we furthermore consider errors in the strain measurements. Since a difference between the model and the experimental data may still be present if the data is not contaminated by noise, we also incorporate the possible error of the model itself. The three formulations to describe model uncertainty in this contribution are: (1) a random variable which is taken from a normal distribution with constant parameters, (2) a random variable which is taken from a normal distribution with an input-dependent mean, and (3) a Gaussian random process with a stationary covariance function. Our results show that incorporating model uncertainty often, but not always, improves the results. If the error in the strain is considered as well, the results improve even more. [less ▲] Detailed reference viewed: 410 (67 UL)![]() Rappel, Hussein ![]() ![]() ![]() Scientific Conference (2018, July 23) Detailed reference viewed: 117 (15 UL)![]() Rappel, Hussein ![]() ![]() ![]() Scientific Conference (2018, July 22) Detailed reference viewed: 92 (6 UL)![]() Schmitz, Sandra ![]() Scientific Conference (2022, July 07) Detailed reference viewed: 37 (1 UL)![]() ; Martinez Luna, Carol ![]() in Malaria journal (2022), 21(1), 74 BACKGROUND: The World Health Organization (WHO) provides protocols for the diagnosis of malaria. One of them is related to the staining process of blood samples to guarantee the correct parasite ... [more ▼] BACKGROUND: The World Health Organization (WHO) provides protocols for the diagnosis of malaria. One of them is related to the staining process of blood samples to guarantee the correct parasite visualization. Ensuring the quality of the staining procedure on thick blood smears (TBS) is a difficult task, especially in rural centres, where there are factors that can affect the smear quality (e.g. types of reagents employed, place of sample preparation, among others). This work presents an analysis of an image-based approach to evaluate the coloration quality of the staining process of TBS used for malaria diagnosis. METHODS: According to the WHO, there are different coloration quality descriptors of smears. Among those, the background colour is one of the best indicators of how well the staining process was conducted. An image database with 420 images (corresponding to 42 TBS samples) was created for analysing and testing image-based algorithms to detect the quality of the coloration of TBS. Background segmentation techniques were explored (based on RGB and HSV colour spaces) to separate the background and foreground (leukocytes, platelets, parasites) information. Then, different features (PCA, correlation, Histograms, variance) were explored as image criteria of coloration quality on the extracted background information; and evaluated according to their capability to classify images as with Good or Bad coloration quality from TBS. RESULTS: For background segmentation, a thresholding-based approach in the SV components of the HSV colour space was selected. It provided robustness separating the background information independently of its coloration quality. On the other hand, as image criteria of coloration quality, among the 19 feature vectors explored, the best one corresponds to the 15-bins histogram of the Hue component with classification rates of > 97%. CONCLUSIONS: An analysis of an image-based approach to describe the coloration quality of TBS was presented. It was demonstrated that if a robust background segmentation is conducted, the histogram of the H component from the HSV colour space is the best feature vector to discriminate the coloration quality of the smears. These results are the baseline for automating the estimation of the coloration quality, which has not been studied before, but that can be crucial for automating TBS's analysis for assisting malaria diagnosis process. [less ▲] Detailed reference viewed: 16 (0 UL)![]() Baroli, Davide ![]() ![]() ![]() Poster (2016, December 12) In this work, we present a semi-automatic pipeline from image to simulation of a patient fractured vertebra after the kyphoplastic augmentation with two balloons. In this procedure, the CT-scan medical ... [more ▼] In this work, we present a semi-automatic pipeline from image to simulation of a patient fractured vertebra after the kyphoplastic augmentation with two balloons. In this procedure, the CT-scan medical image are pre-processed using open-source software Slice3D for segmentation and 3D reconstruction operation. Then, using geometric processing the 3D surface geometry is enhanced to avoid degenerate element and trigging phenomena on vertebra and cement area. We perform a finite element analysis to evaluate the risk of subsequent vertebral fracture. Finally using Monte-Carlo technique, we assess the propagation of uncertainty of material parameter on the evaluation of this risk. Based on the developed semi-automatic pipelines, it is possible to perform a patient-specific simulation that assesses the successful of kyphoplasty operation. [less ▲] Detailed reference viewed: 241 (35 UL)![]() Abbad Andaloussi, Meryem ![]() ![]() ![]() Scientific Conference (2022, June 06) Grade 3 and 4 Astrocytomas are high grade gliomas (HGG) that usually result from initially less aggressive low grade gliomas (LGG) through malignant transformation (MT). This process has various ... [more ▼] Grade 3 and 4 Astrocytomas are high grade gliomas (HGG) that usually result from initially less aggressive low grade gliomas (LGG) through malignant transformation (MT). This process has various definitions in the literature, clinical and histopathological, depending on the scale of the study and researchers' interest. We introduce an overview of different aspects of MT: molecular, clinical and the role of the microenvironment in acquiring the malignant phenotype. Furthermore, we introduce a new hypothesis that could explain the spatial progression of low grade astrocytoma (LGA) during MT. The former hypothesis will next be tested on LGA patients through tumor segmentation from Medical Resonance Images (MRI) and a mechanistic growth model. [less ▲] Detailed reference viewed: 111 (10 UL)![]() Cisterna, Carolina ![]() ![]() ![]() in Nathail, Eftihia (Ed.) Advances in Mobility-as-a-Service Systems (2020, November) Detailed reference viewed: 73 (10 UL)![]() Cisterna, Carolina ![]() ![]() ![]() Scientific Conference (2019, September) Detailed reference viewed: 55 (9 UL)![]() ; ; et al in Proceedings of IEEE-ITS Conference (2015, September) Detailed reference viewed: 116 (4 UL)![]() Vitello, Piergiorgio ![]() ![]() ![]() in Frontiers in Future Transportation (2021) Detailed reference viewed: 46 (6 UL)![]() Cisterna, Carolina ![]() ![]() ![]() in Proceedings of the 25th International Conference of Hong Kong Society for Transportation Studies, HKSTS 2021: Sustainable Mobility (2021, December) Detailed reference viewed: 61 (5 UL)![]() Dentler, Jan Eric ![]() ![]() ![]() in 2017 IEEE Conference on Control Technology and Applications (CCTA) (2017, August 30) This paper presents the implementation and experimental validation of a central control framework. The presented framework addresses the need for a controller, which provides high performance combined ... [more ▼] This paper presents the implementation and experimental validation of a central control framework. The presented framework addresses the need for a controller, which provides high performance combined with a low-computational load while being on-line adaptable to changes in the control scenario. Examples for such scenarios are cooperative control, task-based control and fault-tolerant control, where the system's topology, dynamics, objectives and constraints are changing. The framework combines a fast Nonlinear Model Predictive Control (NMPC), a communication interface with the Robot Operating System (ROS) [1] as well as a modularization that allows an event-based change of the NMPC scenario. To experimentally validate performance and event-based adaptability of the framework, this paper is using a cooperative control scenario of Unmanned Aerial Vehicles (UAVs). The source code of the proposed framework is available under [2]. [less ▲] Detailed reference viewed: 256 (20 UL)![]() ; ; et al in International Conference on Extended Finite Element Methods - XFEM 2013, September 11 – 13, 2013, Lyon, France (2013) The Diffpack Development Framework is an object-oriented software environment for the numerical solution of partial differential equations (PDEs). By its design, Diffpack intends to close the gap between ... [more ▼] The Diffpack Development Framework is an object-oriented software environment for the numerical solution of partial differential equations (PDEs). By its design, Diffpack intends to close the gap between black-box simulation packages and technical computing environments using interpreted computer languages. The framework provides a high degree of modeling flexibility, while still offering the computational efficiency needed for most demanding simulation problems in science and engineering. Technically speaking, Diffpack is a collection of C++ libraries with classes, functions and utility programs. The numerical functionality is embedded in an environment of software engineering tools supporting the management of Diffpack development projects. Diffpack supports a variety of numerical methods with distinct focus on the finite element method (FEM) but has no inherent restrictions on the types of PDEs and therefore applications to be solved. The key point of partition of unity enriched methods such as XFEM and GFEM is to help capture discontinuities and singularities or large gradients in solutions, which are not well resolved by h or prefinement [1]. The general idea is that the mesh need not conform to the moving boundaries so that minimal or no remeshing is required during the analysis. Our main motivation is to provide a generic implementation of enrichment within a flexible C++ environment, namely the Diffpack platform. The work was inspired by some of our earlier work [6,9] and that of other colleagues [5,7,8]. We demonstrate how object-oriented programming is particularly useful for the treatment of data structures and operations associated with XFEM : mesh-geometry interaction, non-standard integration rules, application of boundary conditions, treatment of level set data [2,6]. We detail the implementation of such features and verify and validate their implementation based on [5]. We show results based on unshifted, shifted [1] and study the behaviour of the stable generalized finite element method (SGFEM) to avoid blending effects and help control the conditioning of the system matrix [4]. For integration of elements cut by interface we use an in-house Delaunay Triangulation algorithm proposed by [3,5] and presented in detail in a companion paper. [less ▲] Detailed reference viewed: 512 (12 UL)![]() ; ; Bordas, Stéphane ![]() in International Journal for Numerical Methods in Engineering (2015) Detailed reference viewed: 267 (16 UL)![]() Obeidat, Anas ![]() ![]() in Journal of Computational Physics (2019), 391 Detailed reference viewed: 363 (34 UL)![]() Bourantas, Georgios ![]() in Engineering Analysis with Boundary Elements (2017), 77 We present the Implicit Potential (IPOT) numerical scheme developed in the framework of meshless point collocation. The proposed scheme is used for the numerical solution of the steady state ... [more ▼] We present the Implicit Potential (IPOT) numerical scheme developed in the framework of meshless point collocation. The proposed scheme is used for the numerical solution of the steady state, incompressible Navier-Stokes (N-S) equations in their primitive variable (u-v-w-p) formulation. The governing equations are solved in their strong form using either a collocated or a semi-staggered type meshless nodal configuration. The unknown field functions and derivatives are calculated using the Modified Moving Least Squares (MMLS) interpolation method. Both velocity-correction and pressure correction methods applied ensure the incompressibility constraint and mass conservation. The proposed meshless point collocation (MPC) scheme has the following characteristics: (i) it can be applied, in a straightforward manner to: steady, unsteady, internal and external fluid flows in 2D and 3D, (ii) it equally applies to regular an irregular geometries, (iii) a distribution of points is sufficient, no numerical integration in space nor any mesh structure are required, (iv) there is no need for pressure boundary conditions since no pressure constitutive equation is solved, (v) it is quite simple and accurate, (vi) results can be obtained using collocated or semi-staggered nodal distributions, (vii) there is no need to compute the velocity potential nor the unit normal vectors and (viii) there is no need for a curvilinear system of coordinates. Simulations of fluid flow in 2D and 3D for regular and irregular geometries indicate the validity of the proposed methodology. [less ▲] Detailed reference viewed: 148 (2 UL) |
||