Fast cooling of trapped ions using the dynamical Stark shift gate

A laser cooling scheme for trapped ions is presented which is based on the fast dynamical Stark shift gate, described in [Jonathan etal, PRA 62, 042307]. Since this cooling method does not contain an off resonant carrier transition, low final temperatures are achieved even in traveling wave light field. The proposed method may operate in either pulsed or continuous mode and is also suitable for ion traps using microwave addressing in strong magnetic field gradients.Comment: 4 pages 5 figure

Optimization of Dengue Epidemics: a test case with different discretization schemes

The incidence of Dengue epidemiologic disease has grown in recent decades. In this paper an application of optimal control in Dengue epidemics is presented. The mathematical model includes the dynamic of Dengue mosquito, the affected persons, the people's motivation to combat the mosquito and the inherent social cost of the disease, such as cost with ill individuals, educations and sanitary campaigns. The dynamic model presents a set of nonlinear ordinary differential equations. The problem was discretized through Euler and Runge Kutta schemes, and solved using nonlinear optimization packages. The computational results as well as the main conclusions are shown.Comment: Presented at the invited session "Numerical Optimization" of the 7th International Conference of Numerical Analysis and Applied Mathematics (ICNAAM 2009), Rethymno, Crete, Greece, 18-22 September 2009; RepositoriUM, id: http://hdl.handle.net/1822/1083

Constrained multi-global optimization using a penalty stretched simulated annealing framework

This paper presents a new simulated annealing algorithm to solve constrained multi-global optimization problems. To compute all global solutions in a sequential manner, we combine the function stretching technique with the adaptive simulated annealing variant. Constraint-handling is carried out through a nondifferentiable penalty function. To benchmark our penalty stretched simulated annealing algorithm we solve a set of well-known problems. Our preliminary numerical results show that the algorithm is promising.This work has been partially supported by the FCT (Fundagao para a Ciencia e a Tecnologia), Portugal

Greater repertoire and temporal variability of cross-frequency coupling (CFC) modes in resting-state neuromagnetic recordings among children with reading difficulties

Cross-frequency, phase-to-amplitude coupling (PAC) between neuronal oscillations at rest may serve as the substrate that supports information exchange between functionally specialized neuronal populations both within and between cortical regions. The study utilizes novel algorithms to identify prominent instantaneous modes of cross-frequency coupling and their temporal stability in resting state magnetoencephalography (MEG) data from 25 students experiencing severe reading difficulties (RD) and 27 age-matched non-impaired readers (NI). Phase coherence estimates were computed in order to identify the prominent mode of PAC interaction for each sensor, sensor pair, and pair of frequency bands (from δ to γ) at successive time windows of the continuous MEG record. The degree of variability in the characteristic frequency-pair PACf1−f2 modes over time was also estimated. Results revealed a wider repertoire of prominent PAC interactions in RD as compared to NI students, suggesting an altered functional substrate for information exchange between neuronal assemblies in the former group. Moreover, RD students showed significant variability in PAC modes over time. This temporal instability of PAC values was particularly prominent: (a) within and between right hemisphere temporo-parietal and occipito-temporal sensors and, (b) between left hemisphere frontal, temporal, and occipito-temporal sensors and corresponding right hemisphere sites. Altered modes of neuronal population coupling may help account for extant data revealing reduced, task-related neurophysiological and hemodynamic activation in left hemisphere regions involved in the reading network in RD. Moreover, the spatial distribution of pronounced instability of cross-frequency coupling modes in this group may provide an explanation for previous reports suggesting the presence of inefficient compensatory mechanisms to support reading

Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases

Building on concepts drawn from control theory, self-adaptive software handles environmental and internal uncertainties by dynamically adjusting its architecture and parameters in response to events such as workload changes and component failures. Self-adaptive software is increasingly expected to meet strict functional and non-functional requirements in applications from areas as diverse as manufacturing, healthcare and finance. To address this need, we introduce a methodology for the systematic ENgineering of TRUstworthy Self-adaptive sofTware (ENTRUST). ENTRUST uses a combination of (1) design-time and runtime modelling and verification, and (2) industry-adopted assurance processes to develop trustworthy self-adaptive software and assurance cases arguing the suitability of the software for its intended application. To evaluate the effectiveness of our methodology, we present a tool-supported instance of ENTRUST and its use to develop proof-of-concept self-adaptive software for embedded and service-based systems from the oceanic monitoring and e-finance domains, respectively. The experimental results show that ENTRUST can be used to engineer self-adaptive software systems in different application domains and to generate dynamic assurance cases for these systems

Classifying children with reading difficulties from non-impaired readers via symbolic dynamics and complexity analysis of MEG resting-state data

Magnetoencephalography (MEG) is a brain imaging method affording real-time temporal, and adequate spatial resolution to reveal aberrant neurophysiological function associated with dyslexia. In this study we analyzed sensor-level resting-state neuromagnetic recordings from 25 reading-disabled children and 27 non-impaired readers under the notion of symbolic dynamics and complexity analysis. We compared two techniques for estimating the complexity of MEG time-series in each of 8 frequency bands based on symbolic dynamics: (a) Lempel-Ziv complexity (LZC) entailing binarization of each MEG time series using the mean amplitude as a threshold, and (b) An approach based on the neural-gas algorithm (NG) which has been used by our group in the context of various symbolization schemes. The NG approach transforms each MEG time series to more than two symbols by learning the reconstructed manifold of each time series with a small error. Using this algorithm we computed a complexity index (CI) based on the distribution of words up to a predetermined length. The relative performance of the two complexity indexes was assessed using a classification procedure based on k-NN and Support Vector Machines. Results revealed the capacity of CI to discriminate impaired from non-impaired readers with 80% accuracy. Corresponding performance of LZC values did not exceed 55%. These findings indicate that symbolization of MEG recordings with an appropriate neuroinformatic approach, such as the proposed CI metric, may be of value in understanding the neural dynamics of dyslexia

Overview on mixed integer nonlinear programming problems

Many optimization problems involve integer and continuous variables that can be modeled as mixed integer nonlinear programming (MINLP) problems. This has led to a wide range of applications, in particular in some engineering areas. Here, we provide a brief overview on MINLP, and present a simple idea for a future nonconvex MINLP solution technique.Fundação para a Ciência e a Tecnologia (FCT

Spatio-Temporal Characteristics of Global Warming in the Tibetan Plateau during the Last 50 Years Based on a Generalised Temperature Zone - Elevation Model

Temperature is one of the primary factors influencing the climate and ecosystem, and examining its change and fluctuation could elucidate the formation of novel climate patterns and trends. In this study, we constructed a generalised temperature zone elevation model (GTEM) to assess the trends of climate change and temporal-spatial differences in the Tibetan Plateau (TP) using the annual and monthly mean temperatures from 1961-2010 at 144 meteorological stations in and near the TP. The results showed the following: (1) The TP has undergone robust warming over the study period, and the warming rate was 0.318°C/decade. The warming has accelerated during recent decades, especially in the last 20 years, and the warming has been most significant in the winter months, followed by the spring, autumn and summer seasons. (2) Spatially, the zones that became significantly smaller were the temperature zones of -6°C and -4°C, and these have decreased 499.44 and 454.26 thousand sq km from 1961 to 2010 at average rates of 25.1% and 11.7%, respectively, over every 5-year interval. These quickly shrinking zones were located in the northwestern and central TP. (3) The elevation dependency of climate warming existed in the TP during 1961-2010, but this tendency has gradually been weakening due to more rapid warming at lower elevations than in the middle and upper elevations of the TP during 1991-2010. The higher regions and some low altitude valleys of the TP were the most significantly warming regions under the same categorizing criteria. Experimental evidence shows that the GTEM is an effective method to analyse climate changes in high altitude mountainous regions

Long-Baseline Neutrino Facility (LBNF) and Deep Underground Neutrino Experiment (DUNE) Conceptual Design Report Volume 2: The Physics Program for DUNE at LBNF

The Physics Program for the Deep Underground Neutrino Experiment (DUNE) at the Fermilab Long-Baseline Neutrino Facility (LBNF) is described