Browsing
     by title


0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:   
OK
Full Text
Peer Reviewed
See detailBlood flow simulation using smoothed particle hydrodynamics: application to thrombus generation
AL-SAAD, Mohammed; Kulasegaram, Sivakumar; Bordas, Stéphane UL

Scientific Conference (2016, March 31)

Blood flow rheology is considered to be a complex phenomenon. In order to understand the characteristics of blood flow, it is important to identify key parameters those influence the flow behaviour of ... [more ▼]

Blood flow rheology is considered to be a complex phenomenon. In order to understand the characteristics of blood flow, it is important to identify key parameters those influence the flow behaviour of blood. Further, the characterisation of blood flow will also enable us to understand flow parameters associated with physiological conditions such as atherosclerosis. Thrombosis plays a crucial role in atherosclerosis, or to stop bleeding when a blood vessel is injured. This article focuses on using meshless particle-based Lagrangian numerical technique named smoothed particles hydrodynamic (SPH) method to study the flow behaviour of blood and to explore flow condition that induces formation of thrombus in a blood vessel. Due its simplicity and effectiveness, the SPH method is employed here to simulate the process of thrombogenesis under the influence of various blood flow parameters. In the present SPH simulation, blood is modelled by particles that have characteristics of plasma and of platelets. To simulate coagulation of platelets which forms thrombus, the adhesion and aggregation process of platelets are modelled by an effective inter-particle force model. With these models, platelet motion in the flowing blood and platelet adhesion and aggregation are effectively coupled with viscous blood flow. In this study, the adhesion and aggregation of blood particles are performed on a bifurcated artery under a various low Reynolds number scenarios. The results are compared with experimental results and a good agreement is found between the simulated and experimental results. [less ▲]

Detailed reference viewed: 432 (14 UL)
Full Text
See detailBMS revisited
Aucher, Guillaume UL

in Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (2009)

The insight of the BMS logical framework (proposed by Baltag, Moss and Solecki) is to represent how an event is perceived by several agents very similarly to the way one represents how a static situation ... [more ▼]

The insight of the BMS logical framework (proposed by Baltag, Moss and Solecki) is to represent how an event is perceived by several agents very similarly to the way one represents how a static situation is perceived by them: by means of a Kripke model. There are however some differences between the definitions of an epistemic model (representing the static situation) and an event model. In this paper we restore the symmetry. The resulting logical framework allows, unlike any other one, to express statements about ongoing events and to model the fact that our perception of events (and not only of the static situation) can also be updated due to other events. We axiomatize it and prove its decidability. Finally, we show that it embeds the BMS one if we add common belief operators. [less ▲]

Detailed reference viewed: 31 (0 UL)
Full Text
Peer Reviewed
See detailBoard Game Prototyping to Co-Design a Better Location-Based Digital Game
Jones, Catherine UL; Liapis; Lykourentzou, Ioanna et al

in Abstract book of the 2017 CHI Conference Extended Abstracts on Human Factors in Computing Systems - CHI EA '17 (2017)

In this case study we describe the iterative process of paper prototyping, using a board game, to co-design a location-based mobile application. The end goal of the application is to motivate reflection ... [more ▼]

In this case study we describe the iterative process of paper prototyping, using a board game, to co-design a location-based mobile application. The end goal of the application is to motivate reflection on historical topics about migration. The board game serves to capture the core concerns of this application by simulating movement through the city. Three play tests highlighted the users' interest and issues with the historical content, the way this content is represented, and the players' responses to the interactions and motivating mechanisms of the application. Results show that the board game helped capture important design preferences and problems, ensuring the improvement of our scenario. This feedback can help reduce development effort and implement a future technology prototype closer to the needs of our end users. [less ▲]

Detailed reference viewed: 183 (11 UL)
Full Text
Peer Reviewed
See detailA Boolean Approach for Disentangling the Roles of Submodules to the Global Properties of a Biomodel
Czeizler, Elena; Mizera, Andrzej UL; Petre, Ion

in Fundamenta Informaticae (2012), 116(1-4), 51-63

Detailed reference viewed: 67 (1 UL)
Full Text
Peer Reviewed
See detailA boolean control network approach to pursuit evasion problems in polygonal environments
Thunberg, Johan UL; Ogren, P.; Hu, X.

in Proceedings of the 2011 IEEE International Conference on Robotics and Automation (ICRA) (2011)

In this paper, the multi pursuer version of the pursuit evasion problem in polygonal environments is addressed. This problem is NP-hard, and therefore we seek good enough, but not optimal solutions. By ... [more ▼]

In this paper, the multi pursuer version of the pursuit evasion problem in polygonal environments is addressed. This problem is NP-hard, and therefore we seek good enough, but not optimal solutions. By modeling the problem as a Boolean Control Network, we can efficiently keep track of which regions are cleared, and which are not, while the input nodes of the network are used to represent the motion of the pursuers. The environment is partitioned into a set of convex regions, where each region correspond to a set of nodes in the network. The method is implemented in ANSI C, and efficiently solves complex environments containing multiple loops and requiring so-called recontamination. The provided examples demonstrate the effectiveness of the method in terms of computational time. [less ▲]

Detailed reference viewed: 93 (0 UL)
Full Text
Peer Reviewed
See detailA boundary-enhanced supervoxel method for extraction of road edges in MLS point clouds
Sha, Zhengchuan; Chen, Yiping; Li, Wen et al

in A boundary-enhanced supervoxel method for extraction of road edges in MLS point clouds (2020)

Road extraction plays a significant role in production of high definition maps (HD maps). This paper presents a novel boundary-enhanced supervoxel segmentation method for extracting road edge contours ... [more ▼]

Road extraction plays a significant role in production of high definition maps (HD maps). This paper presents a novel boundary-enhanced supervoxel segmentation method for extracting road edge contours from MLS point clouds. The proposed method first leverages normal feature judgment to obtain 3D point clouds global geometric information, then clusters points according to an existing method with global geometric information to enhance the boundaries. Finally, it utilizes the neighbor spatial distance metric to extract the contours and drop out existing outliers. The proposed method is tested on two datasets acquired by a RIEGL VMX-450 MLS system that contain the major point cloud scenes with different types of road boundaries. The experimental results demonstrate that the proposed method provides a promising solution for extracting contours efficiently and completely. Results show that the precision values are 1.5 times higher and approximately equal than the other two existing methods when the recall value is 0 for both tested two road datasets. [less ▲]

Detailed reference viewed: 43 (3 UL)
Full Text
Peer Reviewed
See detailBubble-Enriched Smoothed Finite Element Methods for Nearly-Incompressible Solids
Lee, Changkye; Natarajan, Sundararajan; Hale, Jack UL et al

in Computer Modeling in Engineering and Sciences (2021), 127(2), 411-436

This work presents a locking-free smoothed finite element method (S-FEM) for the simulation of soft matter modelled by the equations of quasi-incompressible hyperelasticity. The proposed method overcomes ... [more ▼]

This work presents a locking-free smoothed finite element method (S-FEM) for the simulation of soft matter modelled by the equations of quasi-incompressible hyperelasticity. The proposed method overcomes well-known issues of standard finite element methods (FEM) in the incompressible limit: the over-estimation of stiffness and sensitivity to severely distorted meshes. The concepts of cell-based, edge-based and node-based S-FEMs are extended in this paper to three-dimensions. Additionally, a cubic bubble function is utilized to improve accuracy and stability. For the bubble function, an additional displacement degree of freedom is added at the centroid of the element. Several numerical studies are performed demonstrating the stability and validity of the proposed approach. The obtained results are compared with standard FEM and with analytical solutions to show the effectiveness of the method. [less ▲]

Detailed reference viewed: 155 (4 UL)
Full Text
Peer Reviewed
See detailCalculating the Malliavin derivative of some stochastic mechanics problems
Hauseux, Paul UL; Hale, Jack UL; Bordas, Stéphane UL

in PLoS ONE (2017), 12(12), 0189994

The Malliavin calculus is an extension of the classical calculus of variations from deterministic functions to stochastic processes. In this paper we aim to show in a practical and didactic way how to ... [more ▼]

The Malliavin calculus is an extension of the classical calculus of variations from deterministic functions to stochastic processes. In this paper we aim to show in a practical and didactic way how to calculate the Malliavin derivative, the derivative of the expectation of a quantity of interest of a model with respect to its underlying stochastic parameters, for four problems found in mechanics. The non-intrusive approach uses the Malliavin Weight Sampling (MWS) method in conjunction with a standard Monte Carlo method. The models are expressed as ODEs or PDEs and discretised using the finite difference or finite element methods. Specifically, we consider stochastic extensions of; a 1D Kelvin-Voigt viscoelastic model discretised with finite differences, a 1D linear elastic bar, a hyperelastic bar undergoing buckling, and incompressible Navier-Stokes flow around a cylinder, all discretised with finite elements. A further contribution of this paper is an extension of the MWS method to the more difficult case of non-Gaussian random variables and the calculation of second-order derivatives. We provide open-source code for the numerical examples in this paper. [less ▲]

Detailed reference viewed: 291 (39 UL)
Full Text
Peer Reviewed
See detailCalibration of a microscopic simulation model for emission calculation
Li, Jie; Van Zuylen, Henk J.; Chen, Yusen et al

in Transportation Research. Part C : Emerging Technologies (2013), 31

Emissions by road traffic can be reduced by optimising traffic control. The impact of this optimisation on emission can be analysed ex ante by simulation. The simulation programs used for this analysis ... [more ▼]

Emissions by road traffic can be reduced by optimising traffic control. The impact of this optimisation on emission can be analysed ex ante by simulation. The simulation programs used for this analysis should be valid with respect to the traffic characteristics that determine the emissions. Thus calibration of the parameters is a prerequisite. In most cases, volumes, travel times and queues are used to calibrate simulation models, rather than detailed driving characteristics such as speed and acceleration patterns. However, these driving behaviour parameters determine the vehicular emissions to a great extent. A study was carried out in which the driving behaviour parameters in a microscopic simulation model (VISSIM) were calibrated using real trajectories collected by image processing at an intersection in Rotterdam. The sensitivity of the simulation results for driving behaviour parameters was investigated. The most influential parameters were identified and adjusted to ensure that the simulation results were consistent with the observed traffic and could provide valid estimations of the total production of emissions. [less ▲]

Detailed reference viewed: 142 (6 UL)
Full Text
Peer Reviewed
See detailCardiff/Luxembourg Computational Mechanics Research Group
Bordas, Stéphane UL; Kerfriden, Pierre; Hale, Jack UL et al

Poster (2014, November)

Detailed reference viewed: 187 (7 UL)
Full Text
Peer Reviewed
See detailA cascading Kalman filtering framework for real-time urban network flow estimation
Rinaldi, Marco UL; Viti, Francesco UL

in 2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC) (2020, December)

Detailed reference viewed: 133 (5 UL)
Full Text
Peer Reviewed
See detailA Case Study On Computational Hermeneutics: E. J. Lowe's Modal Ontological Argument
Fuenmayor, David; Benzmüller, Christoph UL

in IfCoLog Journal of Logics and Their Applications (2018), 5(7), 1567-1603

Computers may help us to better understand (not just verify) arguments. In this article we defend this claim by showcasing the application of a new, computer-assisted interpretive method to an exemplary ... [more ▼]

Computers may help us to better understand (not just verify) arguments. In this article we defend this claim by showcasing the application of a new, computer-assisted interpretive method to an exemplary natural-language argument with strong ties to metaphysics and religion: E. J. Lowe’s modern variant of St. Anselm’s ontological argument for the existence of God. Our new method, which we call computational hermeneutics, has been particularly conceived for use in interactive-automated proof assistants. It aims at shedding light on the meanings of words and sentences by framing their inferential role in a given argument. By employing automated theorem reasoning technology within interactive proof assistants, we are able to drastically reduce (by several orders of magnitude) the time needed to test the logical validity of an argument’s formalization. As a result, a new approach to logical analysis, inspired by Donald Davidson’s account of radical interpretation, has been enabled. In computational hermeneutics, the utilization of automated reasoning tools effectively boosts our capacity to expose the assumptions we indirectly commit ourselves to every time we engage in rational argumentation and it fosters the explicitation and revision of our concepts and commitments. [less ▲]

Detailed reference viewed: 159 (0 UL)
Full Text
Peer Reviewed
See detailCategorisation of building data in the digital documentation of heritage buildings
Khalil, Ahmed; Stravoravdis, Spyridon; Backes, Dietmar UL

in Applied Geomatics (2020)

The documentation of heritage buildings is the preliminary action to deal with any problem related to the built heritage. The procedure of documentation requires a very diverse range of data (quantitative ... [more ▼]

The documentation of heritage buildings is the preliminary action to deal with any problem related to the built heritage. The procedure of documentation requires a very diverse range of data (quantitative and qualitative) to be obtained and investigated in order to produce an accurate digital representation of the building. This type of work of data capture and interpretation is often conducted in isolation by different stakeholders and for a range of purposes, leading to a lack of communication between different data types, repeated effort and incomplete documentation. Heritage Building Information Modelling (H-BIM) is set to play a key role in the digital documentation of heritage buildings, as it can combine quantitative and qualitative data and facilitate the integration of different stakeholders and specialised data into the digital management of the different phases of dealing with heritage buildings. This paper aims to review the multitude of data types that could be included in the documentation and investigation process of the built heritage, in order to assess the breadth and depth by which heritage buildings can be documented. Four main categories that span the whole documentation data areas are being suggested which vary from outer geometry surveys, to subsurface materials and structural integrity investigations, to data concerning the building performance, as well as the historic records concerning the building’s morphology over time, which can help to create a more in-depth knowledge about the heritage building’s status and performance and can create a solid base for any required restoration and retrofitting processes (Khalil and Stravoravdis 2019a). [less ▲]

Detailed reference viewed: 45 (1 UL)
Full Text
Peer Reviewed
See detailA cell - based smoothed finite element method for free vibration and buckling analysis of shells
Thai-Hoang, Chien; Nguyen-Thanh, Nhon; Nguyen-Xuan, Hung et al

in KSCE Journal of Civil Engineering (2011), 15(2), 347-361

This paper further extends a cell-based smoothed finite element method for free vibration and buckling analysis of shells. A four-node quadrilateral Mindlin-Reissner shell element with a gradient ... [more ▼]

This paper further extends a cell-based smoothed finite element method for free vibration and buckling analysis of shells. A four-node quadrilateral Mindlin-Reissner shell element with a gradient smoothing operator is adopted. The membrane-bending and geometrical stiffness matrices are computed along the boundaries of the smoothing cells while the shear stiffness matrix is calculated by an independent interpolation in the natural coordinates as in the MITC4 (the Mixed Interpolation of Tensorial Components) element. Various numerical results are compared with existing exact and numerical solutions and they are in good agreement. The advantage of the present formulation is that it retains higher accurate than the MITC4 element even for heavily distorted meshes without increasing the computational cost. © 2011 Korean Society of Civil Engineers and Springer-Verlag Berlin Heidelberg. [less ▲]

Detailed reference viewed: 106 (1 UL)
See detailCell culture apparatus and culture methods using same
Wilmes, Paul UL; Zenhausern, Frederic; Estes, Matt et al

Patent (2013)

Detailed reference viewed: 162 (6 UL)
Full Text
Peer Reviewed
See detailA cell-based smoothed finite element method for kinematic limit analysis
Le, Canh. V.; Nguyen-Xuan, H.; Askes, H. et al

in International Journal for Numerical Methods in Engineering (2010), 83(12), 1651-1674

This paper presents a new numerical procedure for kinematic limit analysis problems, which incorporates the cell-based smoothed finite element method with second-order cone programming. The application of ... [more ▼]

This paper presents a new numerical procedure for kinematic limit analysis problems, which incorporates the cell-based smoothed finite element method with second-order cone programming. The application of a strain smoothing technique to the standard displacement finite element both rules out volumetric locking and also results in an efficient method that can provide accurate solutions with minimal computational effort. The non-smooth optimization problem is formulated as a problem of minimizing a sum of Euclidean norms, ensuring that the resulting optimization problem can be solved by an efficient second-order cone programming algorithm. Plane stress and plane strain problems governed by the von Mises criterion are considered, but extensions to problems with other yield criteria having a similar conic quadratic form or 3D problems can be envisaged. [less ▲]

Detailed reference viewed: 125 (2 UL)
Full Text
Peer Reviewed
See detailA cell-based smoothed finite element method for three dimensional solid structures
Nguyen-Xuan, Hung; Nguyen, Ha Manh UL; Bordas, Stéphane UL et al

in KSCE Journal of Civil Engineering (2012), 16(7), 1230-1242

This paper extends further the strain smoothing technique in finite elements to 8-noded hexahedral elements (CS-FEM-H8). The idea behind the present method is similar to the cell-based smoothed 4-noded ... [more ▼]

This paper extends further the strain smoothing technique in finite elements to 8-noded hexahedral elements (CS-FEM-H8). The idea behind the present method is similar to the cell-based smoothed 4-noded quadrilateral finite elements (CS-FEM-Q4). In CSFEM, the smoothing domains are created based on elements, and each element can be further subdivided into 1 or several smoothing cells. It is observed that: 1) The CS-FEM using a single smoothing cell can produce higher stress accuracy, but insufficient rank and poor displacement accuracy; 2) The CS-FEM using several smoothing cells has proper rank, good displacement accuracy, but lower stress accuracy, especially for nearly incompressible and bending dominant problems. We therefore propose 1) an extension of strain smoothing to 8-noded hexahedral elements and 2) an alternative CS-FEM form, which associates the single smoothing cell issue with multi-smoothing cell one via a stabilization technique. Several numerical examples are provided to show the reliability and accuracy of the present formulation. [less ▲]

Detailed reference viewed: 108 (0 UL)
Peer Reviewed
See detailCellular Automata Evolution Of Leader Election
Banda, Peter UL

in Kampis, George; Karsai, István; Szathmáry, Eörs (Eds.) Advances in Artificial Life. Darwin Meets von Neumann (2011)

The leader election problem is a crucial problem in the theory of distributed algorithms, multi-agent systems as well as in sociobiology. In this paper we investigate one-dimensional binary state cellular ... [more ▼]

The leader election problem is a crucial problem in the theory of distributed algorithms, multi-agent systems as well as in sociobiology. In this paper we investigate one-dimensional binary state cellular automata with an intention to track self-organizational mechanisms that finally enable a global leader to be elected. Since our model is anonymous and uniform we also have to deal with a problem of symmetry that in great majority of cases is broken by inhomogeneity of arbitrary initial configurations. Our approach to the problem is based on the evolution of cellular automata by genetic algorithms and the methodology of computational mechanics. The presented new solution of the leader election reaches remarkably high performance of 94 − 99%. The analysis shows a sophisticated collective computation demonstrated by so called particles and their interactions. Due to the simplicity of our model, presented approach is general and universal enough to be applicable even at the level of primitive biological or artificial societies. [less ▲]

Detailed reference viewed: 108 (3 UL)