Bautin-type bifurkations and stability of energy solutions for a delay differential equation modeling leukemia

In [3], [4] a mathematical model of chronic myelogenous leukemia is considered

A Model for QCD at High Density and Large Quark Mass

We study the high density region of QCD within an effective model obtained in the frame of the hopping parameter expansion and choosing Polyakov type of loops as the main dynamical variables representing the fermionic matter. To get a first idea of the phase structure, the model is analyzed in strong coupling expansion and using a mean field approximation. In numerical simulations, the model still shows the so-called sign problem, a difficulty peculiar to non-zero chemical potential, but it permits the development of algorithms which ensure a good overlap of the Monte Carlo ensemble with the true one. We review the main features of the model and present calculations concerning the dependence of various observables on the chemical potential and on the temperature, in particular of the charge density and the diquark susceptibility, which may be used to characterize the various phases expected at high baryonic density. We obtain in this way information about the phase structure of the model and the corresponding phase transitions and cross over regions, which can be considered as hints for the behaviour of non-zero density QCD.Comment: 21 pages, 29 figure

Design ideation through improvised comedy processes

We argue that the processes of creating successful comedy are comparable to the processes of designing an innovative product. Our research explores how constructs of humour may be applied to the early phase of engineering design, when divergent thinking is assumed to be most valuable. During a series of exploratory workshops, the principles and processes of creating improvised comedy presented an opportunity to reinvigorate the design process, and overcome some of the common barriers to effective group brainstorming. This paper discusses the link between improvised comedy and design creativity, and the early development of a new improvisation-based approach to design ideation

Random matrix techniques in quantum information theory

The purpose of this review article is to present some of the latest developments using random techniques, and in particular, random matrix techniques in quantum information theory. Our review is a blend of a rather exhaustive review, combined with more detailed examples -- coming from research projects in which the authors were involved. We focus on two main topics, random quantum states and random quantum channels. We present results related to entropic quantities, entanglement of typical states, entanglement thresholds, the output set of quantum channels, and violations of the minimum output entropy of random channels

Gravitational and axial anomalies for generalized Euclidean Taub-NUT metrics

The gravitational anomalies are investigated for generalized Euclidean Taub-NUT metrics which admit hidden symmetries analogous to the Runge-Lenz vector of the Kepler-type problem. In order to evaluate the axial anomalies, the index of the Dirac operator for these metrics with the APS boundary condition is computed. The role of the Killing-Yano tensors is discussed for these two types of quantum anomalies.Comment: 23 page

Multiple verification in computational modeling of bone pathologies

We introduce a model checking approach to diagnose the emerging of bone pathologies. The implementation of a new model of bone remodeling in PRISM has led to an interesting characterization of osteoporosis as a defective bone remodeling dynamics with respect to other bone pathologies. Our approach allows to derive three types of model checking-based diagnostic estimators. The first diagnostic measure focuses on the level of bone mineral density, which is currently used in medical practice. In addition, we have introduced a novel diagnostic estimator which uses the full patient clinical record, here simulated using the modeling framework. This estimator detects rapid (months) negative changes in bone mineral density. Independently of the actual bone mineral density, when the decrease occurs rapidly it is important to alarm the patient and monitor him/her more closely to detect insurgence of other bone co-morbidities. A third estimator takes into account the variance of the bone density, which could address the investigation of metabolic syndromes, diabetes and cancer. Our implementation could make use of different logical combinations of these statistical estimators and could incorporate other biomarkers for other systemic co-morbidities (for example diabetes and thalassemia). We are delighted to report that the combination of stochastic modeling with formal methods motivate new diagnostic framework for complex pathologies. In particular our approach takes into consideration important properties of biosystems such as multiscale and self-adaptiveness. The multi-diagnosis could be further expanded, inching towards the complexity of human diseases. Finally, we briefly introduce self-adaptiveness in formal methods which is a key property in the regulative mechanisms of biological systems and well known in other mathematical and engineering areas.Comment: In Proceedings CompMod 2011, arXiv:1109.104

On the properties of ITO, ZnO, ZnO:Al and NiO thin films obtained by thermal oxidation

Date du colloque : 10/2014International audienc