Timed Transition Automata as Numerical Planning Domain

A general technique for transforming a timed finite state automaton into an equivalent automated planning domain based on a numerical parameter model is introduced. Timed transition automata have many applications in control systems and agents models; they are used to describe sequential processes, where actions are labelling by automaton transitions subject to temporal constraints. The language of timed words accepted by a timed automaton, the possible sequences of system or agent behaviour, can be described in term of an appropriate planning domain encapsulating the timed actions patterns and constraints. The time words recognition problem is then posed as a planning problem where the goal is to reach a final state by a sequence of actions, which corresponds to the timed symbols labeling the automaton transitions. The transformation is proved to be correct and complete and it is space/time linear on the automaton size. Experimental results shows that the performance of the planning domain obtained by transformation is scalable for real world applications. A major advantage of the planning based approach, beside of the solving the parsing problem, is to represent in a single automated reasoning framework problems of plan recognitions, plan synthesis and plan optimisation.

Fast Linear Algorithm for Active Rules Application in Transition P Systems

Transition P systems are computational models based on basic features of biological membranes and the observation of biochemical processes. In these models, membrane contains objects multisets, which evolve according to given evolution rules. In the field of Transition P systems implementation, it has been detected the necessity to determine whichever time are going to take active evolution rules application in membranes. In addition, to have time estimations of rules application makes possible to take important decisions related to the hardware / software architectures design. In this paper we propose a new evolution rules application algorithm oriented towards the implementation of Transition P systems. The developed algorithm is sequential and, it has a linear order complexity in the number of evolution rules. Moreover, it obtains the smaller execution times, compared with the preceding algorithms. Therefore the algorithm is very appropriate for the implementation of Transition P systems in sequential devices.

Effect of processing variables and bulk composition on the surface composition of spray dried powders of a model food system

Abstract The surface compositions of food powders created from spray drying solutions containing various ratios of sodium caseinate, maltodextrin and soya oil have been analysed by Electron Spectroscopy for Chemical Analysis. The results show significant enrichment of oil at the surface of particles compared to the bulk phase and, when the non-oil components only are considered, a significant surface enrichment of sodium caseinate also. The degree of surface enrichment of both oil and sodium caseinate was found to increase with decreasing bulk levels of the respective components. Surface enrichment of oil was also affected by processing conditions (emulsion drop size and drying temperature), but surface enrichment of sodium caseinate was relatively insensitive to these. The presence of "pock marks" on the particle surfaces strongly suggests that the surface oil was caused by rupturing of emulsion droplets at the surface as the surrounding matrix contracts and hardens. © 2013 Elsevier Ltd. All rights reserved.

Application of the Artificial Intelligence Algorithms with a Cognitive Graphic as a Tool for a System Analysis of Electrophysiological Processes

Summarizing the accumulated experience for a long time in the polyparametric cognitive modeling of different physiological processes (electrocardiogram, electroencephalogram, electroreovasogram and others) and the development on this basis some diagnostics methods give ground for formulating a new methodology of the system analysis in biology. The gist of the methodology consists of parametrization of fractals of electrophysiological processes, matrix description of functional state of an object with a unified set of parameters, construction of the polyparametric cognitive geometric model with artificial intelligence algorithms. The geometry model enables to display the parameter relationships are adequate to requirements of the system approach. The objective character of the elements of the models and high degree of formalization which facilitate the use of the mathematical methods are advantages of these models. At the same time the geometric images are easily interpreted in physiological and clinical terms. The polyparametric modeling is an object oriented tool possessed advances functional facilities and some principal features.

Self-assembly-driven electrospinning:the transition from fibers to intact beaded morphologies

Polymer beads have attracted considerable interest for use in catalysis, drug delivery, and photo­nics due to their particular shape and surface morphology. Electrospinning, typically used for producing nanofibers, can also be used to fabricate polymer beads if the solution has a sufficiently low concentration. In this work, a novel approach for producing more uniform, intact beads is presented by electrospinning self-assembled block copolymer (BCP) solutions. This approach allows a relatively high polymer concentration to be used, yet with a low degree of entanglement between polymer chains due to microphase separation of the BCP in a selective solvent system. Herein, to demonstrate the technology, a well-studied polystyrene-poly(ethylene butylene)–polystyrene triblock copolymer is dissolved in a co-solvent system. The effect of solvent composition on the characteristics of the fibers and beads is intensively studied, and the mechanism of this fiber-to-bead is found to be dependent on microphase separation of the BCP.

On the Operational Solution of a System of Fractional Differential Equations

MSC 2010: 26A33, 44A45, 44A40, 65J10

A Refinement of some Overrelaxation Algorithms for Solving a System of Linear Equations

In this paper we propose a refinement of some successive overrelaxation methods based on the reverse Gauss–Seidel method for solving a system of linear equations Ax = b by the decomposition A = Tm − Em − Fm, where Tm is a banded matrix of bandwidth 2m + 1. We study the convergence of the methods and give software implementation of algorithms in Mathematica package with numerical examples. ACM Computing Classification System (1998): G.1.3.

Wave Operators for Defocusing Matrix Zakharov-Shabat Systems with Pnonvanishing at Infinity

2000 Mathematics Subject Classification: Primary: 34L25; secondary: 47A40, 81Q10.

A randomised controlled trial of the clinical effectiveness and cost-effectiveness of the levonorgestrel-releasing intrauterine system in primary care against standard treatment for menorrhagia:the ECLIPSE trial

BACKGROUND: Heavy menstrual bleeding (HMB) is a common problem, yet evidence to inform decisions about initial medical treatment is limited. OBJECTIVES: To assess the clinical effectiveness and cost-effectiveness of the levonorgestrel-releasing intrauterine system (LNG-IUS) (Mirena(®), Bayer) compared with usual medical treatment, with exploration of women's perspectives on treatment. DESIGN: A pragmatic, multicentre randomised trial with an economic evaluation and a longitudinal qualitative study. SETTING: Women who presented in primary care. PARTICIPANTS: A total of 571 women with HMB. A purposeful sample of 27 women who were randomised or ineligible owing to treatment preference participated in semistructured face-to-face interviews around 2 and 12 months after commencing treatment. INTERVENTIONS: LNG-IUS or usual medical treatment (tranexamic acid, mefenamic acid, combined oestrogen-progestogen or progesterone alone). Women could subsequently swap or cease their allocated treatment. OUTCOME MEASURES: The primary outcome was the patient-reported score on the Menorrhagia Multi-Attribute Scale (MMAS) assessed over a 2-year period and then again at 5 years. Secondary outcomes included general quality of life (QoL), sexual activity, surgical intervention and safety. Data were analysed using iterative constant comparison. A state transition model-based cost-utility analysis was undertaken alongside the randomised trial. Quality-adjusted life-years (QALYs) were derived from the European Quality of Life-5 Dimensions (EQ-5D) and the Short Form questionnaire-6 Dimensions (SF-6D). The intention-to-treat analyses were reported as cost per QALY gained. Uncertainty was explored by conducting both deterministic and probabilistic sensitivity analyses. RESULTS: The MMAS total scores improved significantly in both groups at all time points, but were significantly greater for the LNG-IUS than for usual treatment [mean difference over 2 years was 13.4 points, 95% confidence interval (CI) 9.9 to 16.9 points; p < 0.001]. However, this difference between groups was reduced and no longer significant by 5 years (mean difference in scores 3.9 points, 95% CI -0.6 to 8.3 points; p = 0.09). By 5 years, only 47% of women had a LNG-IUS in place and 15% were still taking usual medical treatment. Five-year surgery rates were low, at 20%, and were similar, irrespective of initial treatments. There were no significant differences in serious adverse events between groups. Using the EQ-5D, at 2 years, the relative cost-effectiveness of the LNG-IUS compared with usual medical treatment was £1600 per QALY, which by 5 years was reduced to £114 per QALY. Using the SF-6D, usual medical treatment dominates the LNG-IUS. The qualitative findings show that women's experiences and expectations of medical treatments for HMB vary considerably and change over time. Women had high expectations of a prompt effect from medical treatments. CONCLUSIONS: The LNG-IUS, compared with usual medical therapies, resulted in greater improvement over 2 years in women's assessments of the effect of HMB on their daily routine, including work, social and family life, and psychological and physical well-being. At 5 years, the differences were no longer significant. A similar low proportion of women required surgical intervention in both groups. The LNG-IUS is cost-effective in both the short and medium term, using the method generally recommended by the National Institute for Health and Care Excellence. Using the alternative measures to value QoL will have a considerable impact on cost-effectiveness decisions. It will be important to explore the clinical and health-care trajectories of the ECLIPSE (clinical effectiveness and cost-effectiveness of levonorgestrel-releasing intrauterine system in primary care against standard treatment for menorrhagia) trial participants to 10 years, by which time half of the cohort will have reached menopause. TRIAL REGISTRATION: Current Controlled Trials ISRCTN86566246. FUNDING: This project was funded by the NIHR Health Technology Assessment programme and will be published in full in Health Technology Assessment; Vol. 19, No. 88. See the NIHR Journals Library website for further project information.

Thermalized polarization dynamics of a discrete optical-waveguide system with four-wave mixing

Statistical mechanics of two coupled vector fields is studied in the tight-binding model that describes propagation of polarized light in discrete waveguides in the presence of the four-wave mixing. The energy and power conservation laws enable the formulation of the equilibrium properties of the polarization state in terms of the Gibbs measure with positive temperature. The transition line T=∞ is established beyond which the discrete vector solitons are created. Also in the limit of the large nonlinearity an analytical expression for the distribution of Stokes parameters is obtained, which is found to be dependent only on the statistical properties of the initial polarization state and not on the strength of nonlinearity. The evolution of the system to the final equilibrium state is shown to pass through the intermediate stage when the energy exchange between the waveguides is still negligible. The distribution of the Stokes parameters in this regime has a complex multimodal structure strongly dependent on the nonlinear coupling coefficients and the initial conditions.

A novel regulatory role for tissue transglutaminase in epithelial-mesenchymal transition in cystic fibrosis

Cystic fibrosis (CF) is a genetic disorder caused by mutation of the cystic fibrosis transmembrane conductance regulator (CFTR) for which there is no overall effective treatment. Recent work indicates tissue transglutaminase (TG2) plays a pivotal intracellular role in proteostasis in CF epithelia and that the pan TG inhibitor cysteamine improves CFTR stability. Here we show TG2 has another role in CF pathology linked with TGFβ1 activation and signalling, induction of epithelial-mesenchymal transition (EMT), CFTR stability and induction of matrix deposition. We show that increased TG2 expression in normal and CF bronchial epithelial cells increases TGFβ1 levels, promoting EMT progression, and impairs tight junctions as measured by Transepithelial Electric Resistance (TEER) which can be reversed by selective inhibition of TG2 with an observed increase in CFTR stability. Our data indicate that selective inhibition of TG2 provides a potential therapeutic avenue for reducing fibrosis and increasing CFTR stability in CF.

Binocular summation, binocular fusion and the transition to diplopia

The visual system combines spatial signals from the two eyes to achieve single vision. But if binocular disparity is too large, this perceptual fusion gives way to diplopia. We studied and modelled the processes underlying fusion and the transition to diplopia. The likely basis for fusion is linear summation of inputs onto binocular cortical cells. Previous studies of perceived position, contrast matching and contrast discrimination imply the computation of a dynamicallyweighted sum, where the weights vary with relative contrast. For gratings, perceived contrast was almost constant across all disparities, and this can be modelled by allowing the ocular weights to increase with disparity (Zhou, Georgeson & Hess, 2014). However, when a single Gaussian-blurred edge was shown to each eye perceived blur was invariant with disparity (Georgeson & Wallis, ECVP 2012) – not consistent with linear summation (which predicts that perceived blur increases with disparity). This blur constancy is consistent with a multiplicative form of combination (the contrast-weighted geometric mean) but that is hard to reconcile with the evidence favouring linear combination. We describe a 2-stage spatial filtering model with linear binocular combination and suggest that nonlinear output transduction (eg. ‘half-squaring’) at each stage may account for the blur constancy.

Solidifying system of democracy in the Central and Eastern European new EU members

The paper examines the requirements of an effective and legitimized democratic political system in the process of transition. The analysis and the conclusions are based on the Hungarian experience, which can carefully be applied to all Central and Eastern European (CEE) countries. Special focus is given to the relationship of legal certainty and the efficiency of the democratic system, to the tension between legalism and managerialism and to the characteristics of civil society organizations. In the conclusion special features of the transitional countries are pointed out.

Going beyond the rhetoric: system-wide changes in universities for sustainable societies

In October 2008, the 5th Environmental Management for Sustainable Universities (EMSU) international conference was held in Barcelona, Spain. It dealt with the need to rethink how our higher educational institutions are facing sustainability. This special issue has been primarily derived from contributions to that conference. This issue builds upon related academic international publications, which have analysed how to use the critical position of universities to accelerate their pace of working to help to make the transition to truly SUSTAINABLE SOCIETIES! This issue focus is on the ‘softer’ issues, such as changes in values, attitudes, motivations, as well as in curricula, societal interactions and assessments of the impacts of research. Insights derived from the interplay of the ‘softer’ issues with the ‘harder’ issues are empowering academic leaders to effectively use leverage points to make changes in operations, courses, curricula, and research. Those changes are being designed to help their students and faculty build resilient and sustainable societies within the context of climate change, the Decade of Education for Sustainable Development (DESD), and the UN Millennium Development Goals (MDGs). The overall systems approach presented by Stephens and Graham provides a structured framework to systematize change for sustainability in higher education, by stressing on the one hand the need for “learning to learn” and on the other hand by integrating leadership and cultural aspects. The “niche” level they propose for innovative interactions between practitioners such as EMSU is exemplary developed by all of the other documents in this special issue. To highlight some of the key elements of the articles in this issue, there are proposals for new educational methods based in sustainability science, a set of inspirational criteria for SD research activities, new course ranking and assessment methods and results of psychological studies that provide evidence that participatory approaches are the most effective way to change values within university members in order to facilitate the development and sharing of new sustainability norms.

An inconsistency control system based on incomplete pairwise comparison matrices

Incomplete pairwise comparison matrix was introduced by Harker in 1987 for the case in which the decision maker does not fill in the whole matrix completely due to, e.g., time limitations. However, incomplete matrices occur in a natural way even if the decision maker provides a completely filled in matrix in the end. In each step of the total n(n–1)/2, an incomplete pairwise comparison is given, except for the last one where the matrix turns into complete. Recent results on incomplete matrices make it possible to estimate inconsistency indices CR and CM by the computation of tight lower bounds in each step of the filling in process. Additional information on ordinal inconsistency is also provided. Results can be applied in any decision support system based on pairwise comparison matrices. The decision maker gets an immediate feedback in case of mistypes, possibly causing a high level of inconsistency.