Phase diagram of YBa2_2Cu3_3O7−y_{7-y} at T<<Tc_c based on Cu(2) transverse nuclear relaxation

Two maxima in transverse relaxation rate of Cu(2) nuclei in YBa$_2$Cu$_3$O$_{7-y}$ are observed, at T = 35 K and T = 47 K. Comparison of the $^{63}$Cu(2) and $^{65}$Cu(2) rates at T = 47 K indicates the magnetic character of relaxation. The enhancement at T = 47 K of fluctuating local magnetic fields perpendicular to the CuO$_2$ planes is connected with the critical fluctuations of orbital currents. Maximum at T = 35 K is connected with the appearance of inhomogeneous supeconducting phase. Together with data published to date, our experimental results allow to suggest a qualitatively new phase diagram of the superconducting phase.Comment: 4 LaTEX pages + 3 figures in *.ps forma

Minimising makespan of discrete controllers: a qualitative approach

Qualitative controller synthesis techniques produce controllers that guarantee to achieve a given goal in the presence of an adversarial environment. However, qualitative synthesis only produces one controller out of many possible solutions and typically does not provide support for expressing preferences over other alternatives. In this paper, we thus present a formal approach to reason about preferences qualitatively, restricting attention to makespan of discrete eventbased controllers for reachability goals. Time is reasoned upon symbolically, which relieves the user from providing concrete quantitative measures. In particular, we study the scenario in which durations of individual activities are not known up-front. We first show how controllers can be symbolically and fairly compared by fixing the contingencies. Then, we present an algorithm to produce controllers that are makespan-minimising

Energy-Aware Network-on-Chip Application Mapping Based on Domain Knowledge Genetic Algorithm

This paper addresses energy-aware application mapping for large-scale Network-on-chip (NoC). The increasing number of intellectual property (IP) cores in multi-processor system-on-chips (MPSoCs) makes NoC application mapping more challenging to find optimum core-to-topology mapping. This paper proposes an application mapping technique that incorporates domain knowledge into genetic algorithm (GA) to minimize the energy consumption of NoC communication. The GA is initialized with knowledge on network partition whereas the genetic crossover operator is guided with inter-core communication demands. NoC energy estimation is based on analytical energy model and cycle-accurate Noxim simulation. For large-scale NoC, application mapping using knowledge-based genetic operator saves up to 28% energy compared to the one on conventional GA. Adding knowledge-based initial mapping speeds up convergence by 81% and further saves energy by 5% compared to only knowledge-based crossover GA. Furthermore, cycle-accurate simulations of applications with traffic dependency show the effectiveness of the proposed application mapping for large-scale NoC

Thermodynamic and Kinetic Stabilities of Al(III) Complexes with N2O3 Pentadentate Ligands

: Al(III) complexes have been recently investigated for their potential use in imaging with positron emission tomography (PET) by formation of ternary complexes with the radioisotope fluorine-18 (18F). Although the derivatives of 1,4,7-triazacyclononane-1,4,7-triacetic acid (NOTA) are the most applied chelators for [Al18F]2+ labelling and (pre)clinical PET imaging, non-macrocyclic, semi-rigid pentadentate chelators having two N- and three O-donor atoms such as RESCA1 and AMPDA-HB have been proposed with the aim to allow room temperature labelling of temperature-sensitive biomolecules. The paucity of stability data on Al(III) complexes used for PET imaging instigated a complete thermodynamic and kinetic solution study on Al(III) complexes with aminomethylpiperidine (AMP) derivatives AMPTA and AMPDA-HB and the comparison with a RESCA1-like chelator CD3A-Bn (trans-1,2-diaminocyclohexane-N-benzyl-N,N',N'-triacetic acid). The stability constant of [Al(AMPDA-HB)] is about four orders of magnitude higher than that of [Al(AMPTA)] and [Al(CD3A-Bn)], highlighting the greater affinity of phenolates with respect to acetate O-donors. On the other hand, the kinetic inertness of the complexes, determined by following the Cu2+-mediated transmetallation reactions in the 7.5-10.5 pH range, resulted in a spontaneous and hydroxide-assisted dissociation slightly faster for [Al(AMPTA)] than for the other two complexes (t1/2 = 4.5 h for [Al(AMPTA)], 12.4 h for [Al(AMPDA-HB)], and 24.1 h for [Al(CD3A-Bn)] at pH 7.4 and 25 °C). Finally, the [AlF]2+ ternary complexes were prepared and their stability in reconstituted human serum was determined by 19F NMR experiments

Dynamic update of discrete event controllers

Discrete event controllers are at the heart of many software systems that require continuous operation. Changing these controllers at runtime to cope with changes in its execution environment or system requirements change is a challenging open problem. In this paper we address the problem of dynamic update of controllers in reactive systems. We present a general approach to specifying correctness criteria for dynamic update and a technique for automatically computing a controller that handles the transition from the old to the new specification, assuring that the system will reach a state in which such a transition can correctly occur and in which the underlying system architecture can reconfigure. Our solution uses discrete event controller synthesis to automatically build a controller that guarantees both progress towards update and safe update

Assured and Correct Dynamic Update of Controllers

We present a general approach to specifying correctness criteria for dynamic update and a technique for automatically computing a controller that handles the transition from the old to the new specification, assuring that the system will reach a state in which such a transition can correctly occur. Indeed, using controller synthesis we show how to automatically build a controller that guarantees both progress towards update and safe update.Sociedad Argentina de Informática e Investigación Operativa (SADIO

Assured and Correct Dynamic Update of Controllers

We present a general approach to specifying correctness criteria for dynamic update and a technique for automatically computing a controller that handles the transition from the old to the new specification, assuring that the system will reach a state in which such a transition can correctly occur. Indeed, using controller synthesis we show how to automatically build a controller that guarantees both progress towards update and safe update.Sociedad Argentina de Informática e Investigación Operativa (SADIO

Physico-chemical properties of MnII complexes formed with cis- and trans-DO2A: thermodynamic, electrochemical and kinetic studies

L