State-dependent microstructural white matter changes in bipolar I depression

Abnormalities in fronto-limbic-striatal white matter (WM) have been reported in bipolar disorder (BD), but results have been inconsistent across studies. Furthermore, there have been no detailed investigations as to whether acute mood states contribute to microstructural changes in WM tracts. In order to compare fiber density and structural integrity within WM tracts between BD depression and remission, whole-brain fractional anisotropy (FA) and mean diffusivity (MD) were assessed in 37 bipolar I disorder (BD-I) patients (16 depressed and 21 remitted), and 26 healthy individuals with diffusion tensor imaging. Significantly decreased FA and increased MD in bilateral prefronto-limbic-striatal white matter and right inferior fronto-occipital, superior and inferior longitudinal fasciculi were shown in all BD-I patients versus controls, as well as in depressed BD-I patients compared to both controls and remitted BD-I patients. Depressed BD-I patients also exhibited increased FA in the ventromedial prefrontal cortex. Remitted BD-I patients did not differ from controls in FA or MD. These findings suggest that BD-I depression may be associated with acute microstructural WM changes.

A type system for value-dependent information flow analysis

Information systems are widespread and used by anyone with computing devices as well as corporations and governments. It is often the case that security leaks are introduced during the development of an application. Reasons for these security bugs are multiple but among them one can easily identify that it is very hard to define and enforce relevant security policies in modern software. This is because modern applications often rely on container sharing and multi-tenancy where, for instance, data can be stored in the same physical space but is logically mapped into different security compartments or data structures. In turn, these security compartments, to which data is classified into in security policies, can also be dynamic and depend on runtime data. In this thesis we introduce and develop the novel notion of dependent information flow types, and focus on the problem of ensuring data confidentiality in data-centric software. Dependent information flow types fit within the standard framework of dependent type theory, but, unlike usual dependent types, crucially allow the security level of a type, rather than just the structural data type itself, to depend on runtime values. Our dependent function and dependent sum information flow types provide a direct, natural and elegant way to express and enforce fine grained security policies on programs. Namely programs that manipulate structured data types in which the security level of a structure field may depend on values dynamically stored in other fields The main contribution of this work is an efficient analysis that allows programmers to verify, during the development phase, whether programs have information leaks, that is, it verifies whether programs protect the confidentiality of the information they manipulate. As such, we also implemented a prototype typechecker that can be found at http://ctp.di.fct.unl.pt/DIFTprototype/.

Metastable liquid-liquid phase transition in a single-component system with only one crystal phase and no density anomaly

We investigate the phase behavior of a single-component system in three dimensions with spherically-symmetric, pairwise-additive, soft-core interactions with an attractive well at a long distance, a repulsive soft-core shoulder at an intermediate distance, and a hard-core repulsion at a short distance, similar to potentials used to describe liquid systems such as colloids, protein solutions, or liquid metals. We showed [Nature (London) 409, 692 (2001)] that, even with no evidence of the density anomaly, the phase diagram has two first-order fluid-fluid phase transitions, one ending in a gas¿low-density-liquid (LDL) critical point, and the other in a gas¿high-density-liquid (HDL) critical point, with a LDL-HDL phase transition at low temperatures. Here we use integral equation calculations to explore the three-parameter space of the soft-core potential and perform molecular dynamics simulations in the interesting region of parameters. For the equilibrium phase diagram, we analyze the structure of the crystal phase and find that, within the considered range of densities, the structure is independent of the density. Then, we analyze in detail the fluid metastable phases and, by explicit thermodynamic calculation in the supercooled phase, we show the absence of the density anomaly. We suggest that this absence is related to the presence of only one stable crystal structure.

OPTIMAL UTILIZATION OF SERVICE FACILITY FOR A k-OUT-OF-n SYSTEM WITH REPAIR BY EXTENDING SERVICE TO EXTERNAL CUSTOMERS IN A RETRIAL QUEUE

In this paper, we study a k-out-of-n system with single server who provides service to external customers also. The system consists of two parts:(i) a main queue consisting of customers (failed components of the k-out-of-n system) and (ii) a pool (of finite capacity M) of external customers together with an orbit for external customers who find the pool full. An external customer who finds the pool full on arrival, joins the orbit with probability and with probability 1− leaves the system forever. An orbital customer, who finds the pool full, at an epoch of repeated attempt, returns to orbit with probability (< 1) and with probability 1 − leaves the system forever. We compute the steady state system size probability. Several performance measures are computed, numerical illustrations are provided.

ON (s,S) inventory policy with/without retrial and interruption of services/production

In this thesis we have developed a few inventory models in which items are served to the customers after a processing time. This leads to a queue of demand even when items are available. In chapter two we have discussed a problem involving search of orbital customers for providing inventory. Retrial of orbital customers was also considered in that chapter; in chapter 5 also we discussed retrial inventory model which is sans orbital search of customers. In the remaining chapters (3, 4 and 6) we did not consider retrial of customers, rather we assumed the waiting room capacity of the system to be arbitrarily large. Though the models in chapters 3 and 4 differ only in that in the former we consider positive lead time for replenishment of inventory and in the latter the same is assumed to be negligible, we arrived at sharper results in chapter 4. In chapter 6 we considered a production inventory model with production time distribution for a single item and that of service time of a customer following distinct Erlang distributions. We also introduced protection of production and service stages and investigated the optimal values of the number of stages to be protected.

Discrete Time Inventory Models with/without Positive Service Time

In everyday life different flows of customers to avail some service facility or other at some service station are experienced. In some of these situations, congestion of items arriving for service, because an item cannot be serviced Immediately on arrival, is unavoidable. A queuing system can be described as customers arriving for service, waiting for service if it is not immediate, and if having waited for service, leaving the system after being served. Examples Include shoppers waiting in front of checkout stands in a supermarket, Programs waiting to be processed by a digital computer, ships in the harbor Waiting to be unloaded, persons waiting at railway booking office etc. A queuing system is specified completely by the following characteristics: input or arrival pattern, service pattern, number of service channels, System capacity, queue discipline and number of service stages. The ultimate objective of solving queuing models is to determine the characteristics that measure the performance of the system

State-dependent volume isotope shifts of low-lying states of group-IIa and -IIb elements

Results of relativistic multiconfiguration Dirac-Fock calculations with an extended nucleus are used to analyze the volume isotope shifts of the resonance transitions in the group-IIa and -IIb elements as well as in Yb. This is done together with a review of the isotope shift theory, including a critical evaluation and comparison of the semiempirical calculation of volume isotope shifts commonly used today. Electronic factors F_i, proportional to differences of electronic densities over the nuclear volume, are discussed within various approximations and compared with experimental results.

State dependent volume isotope shift analysis of the low lying states of Ba I and Ba II

Relativistic multi-configuration Dirac-Fock wavefunctions, coupled to good angular momentum J, have been calculated for low lying states of Ba I and Ba II. The resulting electronic factors show good agreement with data derived from recent high-resolution laser spectroscopy experiments and results from a comparison of muonic and optical data.

Solving optimal control problems with state constraints using nonlinear programming and simulation tools

This paper illustrates how nonlinear programming and simulation tools, which are available in packages such as MATLAB and SIMULINK, can easily be used to solve optimal control problems with state- and/or input-dependent inequality constraints. The method presented is illustrated with a model of a single-link manipulator. The method is suitable to be taught to advanced undergraduate and Master's level students in control engineering.

Optimal-state-dependent rules, credibility, and inflationary inertia

This paper examines the output losses caused by disinflation and the role of credibility in a model where pricing mIes are optimal and individual prices are rigid. Individual nominal rigidity is modeled as resulting from menu costs. The interaction between optimal pricing mIes and credibility is essential in determining the inflationary inertia. A continued period of high inflation generates an asymmetric distribution of price deviations, with more prices that are substantially lower than their desired leveIs than prices that are substantially higher than the optimal ones. When disinflation is not credible, inflationary inertia is engendered by this asymmetry: idiosyncratic shocks trigger more upward than downward adjustments. A perfect1y credible disinflation causes an immediate change of pricing rules which, by rendering the price deviation distribution less asymmetric, practically annihilates inflationary inertia. An implication of our model is that stabilization may be sucessful even when credibility is low, provided that it is preceded by a mechanism of price alignment. We also develop an analytical framework for analyzing imperfect credibility cases.

Time-dependent or state-dependent pricing? Evidence from firms’ response to inflation shocks

This paper proposes a test for distinguishing between time-dependent and state-dependent pricing based on whether the timing of pricing changes is affected by realized or expeted inflation. Using Brazilian data and exploring a large discrepancy between realized and expected inflation in 2002-3, we obtain a strong relation between expected inflation and duration of price spells, but little effect of inflation shocks on the frequency of price adjustment. The results thus support models with timedependent pricing, where the timing for following changes is optimally chosen whenever firms adjust prices

GLOBAL DYNAMICS of THE LORENZ SYSTEM WITH INVARIANT ALGEBRAIC SURFACES

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

LOSS of EXPONENTIAL STABILITY FOR A THERMOELASTIC SYSTEM WITH MEMORY

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

PRODUCTION of THERMAL PHOTONS IN VISCOUS FLUID DYNAMICS WITH TEMPERATURE-DEPENDENT SHEAR VISCOSITY

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Charged three-body system with arbitrary masses near conformal invariance

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)