Design and synthesis of quasi-diastereomeric molecules with unchanging central, regenerating axial and switchable helical chirality via cleavage and formation of Ni(II)–O and Ni(II)–N coordination bonds

9 p.

Design, analysis and implementation of a versatile low level radio frequency system for accelerating cavities

179 p.

Procedimiento de refutación para un conjunto de restricciones sobre documentos XML

We present a prototype that implements a set of logical rules to prove the satis ability for a class of speci cations on XML documents. Speci cations are given by means of constraints built on Boolean XPath patterns. The main goal of this tool is to test if a given speci cation is satis able or not, showing the history of the execution. It can also be used to test if a given document is a model of a given speci cation and, as a subproduct, it allows to look for all the relations (monomorphisms) between two patterns or the result of doing some operations by combining patterns in di erent ways. The results of these operations are visually shown and therefore the tool makes these operations more understandable. The implementation of the algorithm has been written in Prolog but the prototype has a Java interface for an easy and friendly use.

Effect of the A cation size disorder and synthesis conditions on the properties of an iron perovskite series

Póster presentado en The Energy and Materials Research Conference - EMR2015 celebrado en Madrid (España) entre el 25-27 de febrero de 2015

Influence of synthetic method on the properties of La0.5Ba0.5FeO3 SOFC cathode

Power Point presentado en The Energy and Materials Research Conference - EMR2015 celebrado en Madrid (España) entre el 25-27 de febrero de 2015

Mild Hydrothermal Synthesis, Crystal Structure, Thermal Behavior, Spectroscopic and Magnetic Properties of (NH4)0.80Li0.20[Fe(AsO4)F]

postprint