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 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: 314 (40 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: 146 (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: 198 (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: 137 (6 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: 190 (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: 50 (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: 118 (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: 185 (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: 137 (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: 115 (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: 112 (3 UL)
Full Text
Peer Reviewed
See detailCentralized and decomposed anticipatory Model Predictive Control for network-wide Ramp Metering
Rinaldi, Marco UL; Tampere, C. M. J.; Himpe, W. et al

in Proceedings of the 16th International IEEE Conference on Intelligent Transportation Systems: Intelligent Transportation Systems for All Modes, ITSC 2013 (2013)

The problem of determining Ramp Metering control rates, taking into account routing response, is addressed in this paper. We develop Model Predictive Control based Anticipatory control schemes, featuring ... [more ▼]

The problem of determining Ramp Metering control rates, taking into account routing response, is addressed in this paper. We develop Model Predictive Control based Anticipatory control schemes, featuring both centralized and decomposed optimization problems, with focus on real-life deployability. We then evaluate the aforementioned schemes' performances in comparison to simpler, non-anticipatory control techniques, by means of software simulation based on purpose-built experimental scenarios. © 2013 IEEE. [less ▲]

Detailed reference viewed: 109 (0 UL)
Full Text
Peer Reviewed
See detailCertification of projection-based reduced order modelling in computational homogenisation by the constitutive relation error
Kerfriden, P.; Ródenas, J. J.; Bordas, Stéphane UL

in International Journal for Numerical Methods in Engineering (2013)

SUMMARY: In this paper, we propose upper and lower error bounding techniques for reduced order modelling applied to the computational homogenisation of random composites. The upper bound relies on the ... [more ▼]

SUMMARY: In this paper, we propose upper and lower error bounding techniques for reduced order modelling applied to the computational homogenisation of random composites. The upper bound relies on the construction of a reduced model for the stress field. Upon ensuring that the reduced stress satisfies the equilibrium in the finite element sense, the desired bounding property is obtained. The lower bound is obtained by defining a hierarchical enriched reduced model for the displacement. We show that the sharpness of both error estimates can be seamlessly controlled by adapting the parameters of the corresponding reduced order model. © 2013 John Wiley & Sons, Ltd. [less ▲]

Detailed reference viewed: 366 (4 UL)
Full Text
Peer Reviewed
See detailCertification of projection-based reduced order modelling in computational homogenisation by the Constitutive Relation Error
Kerfriden, Pierre; Ródenas, Juan-José; Bordas, Stéphane UL

in International Journal for Numerical Methods in Engineering (2014), 97(6), 395-422

In this paper, we propose upper and lower error bounding techniques for reduced order modelling applied to the computational homogenisation of random composites. The upper bound relies on the construction ... [more ▼]

In this paper, we propose upper and lower error bounding techniques for reduced order modelling applied to the computational homogenisation of random composites. The upper bound relies on the construction of a reduced model for the stress field. Upon ensuring that the reduced stress satisfies the equilibrium in the nite element sense, the desired bounding property is obtained. The lower bound is obtained by defining a hierarchical enriched reduced model for the displacement. We show that the sharpness of both error estimates can be seamlessly controlled by adapting the parameters of the corresponding reduced order model. [less ▲]

Detailed reference viewed: 398 (8 UL)
Full Text
Peer Reviewed
See detailChallenges Ahead For Modelling And Simulation In Mechanics: From Engineering To Medicine
Aifantis, Elias; Kerfriden, Pierre; Bordas, Stéphane UL

Scientific Conference (2014, July 01)

Detailed reference viewed: 284 (1 UL)
Full Text
Peer Reviewed
See detailChapter 4:A Survey on The Polytopic Takagi-Sugeno Approach: Application to the Inverted Pendulum
Bezzaoucha, Souad UL; Voos, Holger UL; Darouach, Mohamed

in The Inverted Pendulum: From Theory to New Innovations in Control and Robotics (2017)

This book chapter gives a general scope, states the main results obtained and methods used for the Polytopic Takagi-Sugeno approach with a detailed application to the inverted pendulum. Modeling, observer ... [more ▼]

This book chapter gives a general scope, states the main results obtained and methods used for the Polytopic Takagi-Sugeno approach with a detailed application to the inverted pendulum. Modeling, observer and controller design will be considered. [less ▲]

Detailed reference viewed: 136 (10 UL)
Full Text
Peer Reviewed
See detailChapter 8: Tokenization and Regulatory Compliance for Art and Collectible Markets: From Regulators' Demands for Transparency to Investors' Demands for Privacy
Barbereau, Tom Josua UL; Smethurst, Reilly UL; Sedlmeir, Johannes et al

in Lacity, Mary; Treiblmaier, Horst (Eds.) Blockchains and the Token Economy: Studies in Theory and Practice (2022)

Art and collectibles markets tend to involve lower liquidity and higher fees than public equity markets. Distributed ledger technology can tokenize artworks and collectibles, so that claims to these ... [more ▼]

Art and collectibles markets tend to involve lower liquidity and higher fees than public equity markets. Distributed ledger technology can tokenize artworks and collectibles, so that claims to these assets can be exchanged digitally without intermediaries. Tokenization offers investors access to a global market plus a digitized paper trail, as well as new options for the fractional ownership of artworks, art-collateralized loans, and yield-bearing art assets. The main challenge for tokenization researchers and platform developers is to simultaneously satisfy regulators’ demands for transparency and auditability as well as art investors’ demands for privacy. New technological solutions are required that enable market participants to disclose the absolute minimum amount of information that is required by regulators. We explore new concepts from distributed ledger technology, cryptography, and digital identity management that can help address this challenge. [less ▲]

Detailed reference viewed: 169 (20 UL)
Full Text
Peer Reviewed
See detailThe circadian oscillator gene GIGANTEA mediates a long-term response of the Arabidopsis thaliana circadian clock to sucrose
Dalchau, Neil; Baek, Seong; Briggs, Helen et al

in PNAS (2011), 108(12), 51045109

Circadian clocks are 24-h timing devices that phase cellular responses; coordinate growth, physiology, and metabolism; and anticipate the day–night cycle. Here we report sensitivity of the Arabidopsis ... [more ▼]

Circadian clocks are 24-h timing devices that phase cellular responses; coordinate growth, physiology, and metabolism; and anticipate the day–night cycle. Here we report sensitivity of the Arabidopsis thaliana circadian oscillator to sucrose, providing evidence that plant metabolism can regulate circadian function. We found that the Arabidopsis circadian system is particularly sensitive to sucrose in the dark. These data suggest that there is a feedback between the molecular components that comprise the circadian oscillator and plant metabolism, with the circadian clock both regulating and being regulated by metabolism. We used also simulations within a three-loop mathematical model of the Arabidopsis circadian oscillator to identify components of the circadian clock sensitive to sucrose. The mathematical studies identified GIGANTEA (GI) as being associatedwith sucrose sensing. Experimental validation of this prediction demonstrated that GI is required for the full response of the circadian clock to sucrose. We demonstrate that GI acts as part of the sucrose-signaling network and propose this role permits metabolic input into circadian timing in Arabidopsis. [less ▲]

Detailed reference viewed: 133 (2 UL)
Full Text
Peer Reviewed
See detailClassification of states and model order reduction of large scale Chemical Vapor Deposition processes with solution multiplicity
Koronaki, E.D.; Gkinis, P.A.; Beex, Lars UL et al

in Computers and Chemical Engineering (2018), 121

This paper presents an equation-free, data-driven approach for reduced order modeling of a Chemical Vapor Deposition (CVD) process. The proposed approach is based on process information provided by ... [more ▼]

This paper presents an equation-free, data-driven approach for reduced order modeling of a Chemical Vapor Deposition (CVD) process. The proposed approach is based on process information provided by detailed, high-fidelity models, but can also use spatio-temporal measurements. The Reduced Order Model (ROM) is built using the method-of-snapshots variant of the Proper Orthogonal Decomposition (POD) method and Artificial Neural Networks (ANN) for the identification of the time-dependent coefficients. The derivation of the model is completely equation-free as it circumvents the projection of the actual equations onto the POD basis. Prior to building the model, the Support Vector Machine (SVM) supervised classification algorithm is used in order to identify clusters of data corresponding to (physically) different states that may develop at the same operating conditions due to the inherent nonlinearity of the process. The different clusters are then used for ANN training and subsequent development of the ROM. The results indicate that the ROM is successful at predicting the dynamic behavior of the system in windows of operating parameters where steady states are not unique. [less ▲]

Detailed reference viewed: 135 (10 UL)