Search results for "mathematics"
showing 10 items of 22031 documents
Coupled conditional backward sampling particle filter
2020
The conditional particle filter (CPF) is a promising algorithm for general hidden Markov model smoothing. Empirical evidence suggests that the variant of CPF with backward sampling (CBPF) performs well even with long time series. Previous theoretical results have not been able to demonstrate the improvement brought by backward sampling, whereas we provide rates showing that CBPF can remain effective with a fixed number of particles independent of the time horizon. Our result is based on analysis of a new coupling of two CBPFs, the coupled conditional backward sampling particle filter (CCBPF). We show that CCBPF has good stability properties in the sense that with fixed number of particles, …
Uncertainty quantification on a spatial Markov-chain model for the progression of skin cancer
2019
AbstractA spatial Markov-chain model is formulated for the progression of skin cancer. The model is based on the division of the computational domain into nodal points, that can be in a binary state: either in ‘cancer state’ or in ‘non-cancer state’. The model assigns probabilities for the non-reversible transition from ‘non-cancer’ state to the ‘cancer state’ that depend on the states of the neighbouring nodes. The likelihood of transition further depends on the life burden intensity of the UV-rays that the skin is exposed to. The probabilistic nature of the process and the uncertainty in the input data is assessed by the use of Monte Carlo simulations. A good fit between experiments on mi…
From Feynman–Kac formulae to numerical stochastic homogenization in electrical impedance tomography
2016
In this paper, we use the theory of symmetric Dirichlet forms to derive Feynman–Kac formulae for the forward problem of electrical impedance tomography with possibly anisotropic, merely measurable conductivities corresponding to different electrode models on bounded Lipschitz domains. Subsequently, we employ these Feynman–Kac formulae to rigorously justify stochastic homogenization in the case of a stochastic boundary value problem arising from an inverse anomaly detection problem. Motivated by this theoretical result, we prove an estimate for the speed of convergence of the projected mean-square displacement of the underlying process which may serve as the theoretical foundation for the de…
An elementary formula for computing shape derivatives of EFIE system matrix
2012
We derive analytical shape derivative formulas of the system matrix representing electric field integral equation discretized with Raviart-Thomas basis functions. The arising integrals are easy to compute with similar methods as the entries of the original system matrix. The results are compared to derivatives computed with automatic differentiation technique and finite differences, and are found to be in excellent agreement.
Guaranteed error control bounds for the stabilised space-time IgA approximations to parabolic problems
2017
The paper is concerned with space-time IgA approximations of parabolic initial-boundary value problems. We deduce guaranteed and fully computable error bounds adapted to special features of IgA approximations and investigate their applicability. The derivation method is based on the analysis of respective integral identities and purely functional arguments. Therefore, the estimates do not contain mesh-dependent constants and are valid for any approximation from the admissible (energy) class. In particular, they provide computable error bounds for norms associated with stabilised space-time IgA approximations as well as imply efficient error indicators enhancing the performance of fully adap…
The Philae lander mission and science overview.
2017
The Philae lander accomplished the first soft landing and the first scientific experiments of a human-made spacecraft on the surface of a comet. Planned, expected and unexpected activities and events happened during the descent, the touch-downs, the hopping across and the stay and operations on the surface. The key results were obtained during 12–14 November 2014, at 3 AU from the Sun, during the 63 h long period of the descent and of the first science sequence on the surface. Thereafter, Philae went into hibernation, waking up again in late April 2015 with subsequent communication periods with Earth (via the orbiter), too short to enable new scientific activities. The science return of the…
Learning automata based energy-efficient AI hardware design for IoT applications
2020
Energy efficiency continues to be the core design challenge for artificial intelligence (AI) hardware designers. In this paper, we propose a new AI hardware architecture targeting Internet of Things applications. The architecture is founded on the principle of learning automata, defined using propositional logic. The logic-based underpinning enables low-energy footprints as well as high learning accuracy during training and inference, which are crucial requirements for efficient AI with long operating life. We present the first insights into this new architecture in the form of a custom-designed integrated circuit for pervasive applications. Fundamental to this circuit is systematic encodin…
Formulations and exact algorithms for the distance-constrained generalized directed rural postman problem
2017
[EN] The generalized directed rural postman problem is an arc routing problem with many interesting real-life applications, such as routing for meter reading. In this application, a vehicle with a receiver travels through a series of neighborhoods. If the vehicle gets closer than a certain distance to a meter, the receiver is able to record the gas, water, or electricity consumption. Therefore, the vehicle does not need to traverse every street, but only a few, to get close enough to each meter. We study an extension of this problem in which a fleet of vehicles is available. Given the characteristics of the mentioned application, the vehicles have no capacities but there is a maximum distan…
STABILITY OF A STOCHASTICALLY PERTURBED MODEL OF INTRACELLULAR SINGLE-STRANDED RNA VIRUS REPLICATION
2019
Compared to the replication of double-stranded RNA and DNA viruses, the replication of single-stranded viruses requires the production of a number of intermediate strands that serve as templates for the synthesis of genomic-sense strands. Two theoretical extreme mechanisms for replication for such single-stranded viruses have been proposed; one extreme being represented by the so-called linear stamping machine and the opposite extreme by the exponential growth. Of course, real systems are more complex and examples have been described in which a combination of such extreme mechanisms can also occur: a fraction of the produced progeny resulting from a stamping-machine type of replication that…
Description of hard-sphere crystals and crystal-fluid interfaces: a comparison between density functional approaches and a phase-field crystal model.
2012
In materials science the phase field crystal approach has become popular to model crystallization processes. Phase field crystal models are in essence Landau-Ginzburg-type models, which should be derivable from the underlying microscopic description of the system in question. We present a study on classical density functional theory in three stages of approximation leading to a specific phase field crystal model, and we discuss the limits of applicability of the models that result from these approximations. As a test system we have chosen the three--dimensional suspension of monodisperse hard spheres. The levels of density functional theory that we discuss are fundamental measure theory, a …