
The neutron spin resonance is a collective magnetic excitation that appears
in copper oxide, iron pnictide, and heavy fermion unconventional
superconductors. Although the resonance is commonly associated with a
spinexciton due to the $d$($s^{\pm}$)wave symmetry of the superconducting
order parameter, it has also been proposed to be a magnonlike excitation
appearing in the superconducting state. Here we use inelastic neutron
scattering to demonstrate that the resonance in the heavy fermion
superconductor Ce$_{1x}$Yb$_{x}$CoIn$_5$ with $x=0,0.05,0.3$ has a ringlike
upward dispersion that is robust against Ybdoping. By comparing our
experimental data with random phase approximation calculation using the
electronic structure and the momentum dependence of the $d_{x^2y^2}$wave
superconducting gap determined from scanning tunneling microscopy for
CeCoIn$_5$, we conclude the robust upward dispersing resonance mode in
Ce$_{1x}$Yb$_{x}$CoIn$_5$ is inconsistent with the downward dispersion
predicted within the spinexciton scenario.

The evolution of magnetism and superconductivity in
Ce$_2$Rh$_{1x}$Pd$_x$In$_8$ solid solutions has been studied within the entire
concentration range by means of thermodynamic and magnetic measurements at
ambient pressure and at temperatures between 0.35 K and room temperature. For
this purpose, single crystals with Pd concentrations x = 0, 0.10, 0.15, 0.30,
0.45, 0.55, 0.85 and 1 have been grown from In selfflux and characterized by
xray diffraction and microprobe analysis. Starting from the antiferromagnet
Ce$_2$RhIn$_8$, the N\'eel temperature gradually decreases with increasing Pd
concentration and the antiferromagnetism has disappeared for $x \ge 0.45$.
Superconductivity has been observed only for Ce$_2$PdIn$_8$.

The magnetic phase diagram of the tetragonal Ho$_2$RhIn$_8$ compound has
similar features to many related systems, revealing a zero magnetic field AF1
and a fieldinduced AF2 phases. Details of the magnetic order in the AF2 phase
were not reported yet for any of the related compounds. In addition, only the
Ho$_2$RhIn$_8$ phase diagram contains a small region of the incommensurate
zerofield AF3 phase. We have performed a number of neutron diffraction
experiments on single crystals of Ho$_2$RhIn$_8$ using several diffractometers
including experiments in both horizontal and vertical magnetic fields up to 4
T. We present details of the magnetic structures in all magnetic phases of the
rich phase diagram of Ho$_2$RhIn$_8$. The Ho magnetic moments point along the
tetragonal $c$ axis in every phase. The groundstate AF1 phase is characterized
by propagation vector $\textbf{k}$ = (1/2, 0, 0). The more complex
ferrimagnetic AF2 phase is described by four propagation vectors
$\textbf{k}_{0}$ = (0, 0, 0), $\textbf{k}_{1}$ = (1/2, 0, 0), $\textbf{k}_{2}$
= (0, 1/2, 1/2), $\textbf{k}_{3}$ = (1/2, 1/2, 1/2). The magnetic structure in
the AF3 phase is incommensurate with $\textbf{k}_{AF3}$ = (0.5, $\delta$, 0).
Our results are consistent with theoretical calculations based on crystal field
theory.

We introduce MCMASSLK, a BDDbased model checker for the verification of
systems against specifications expressed in a novel, epistemic variant of
strategy logic. We give syntax and semantics of the specification language and
introduce a labelling algorithm for epistemic and strategy logic modalities. We
provide details of the checker which can also be used for synthesising agents'
strategies so that a specification is satisfied by the system. We evaluate the
efficiency of the implementation by discussing the results obtained for the
dining cryptographers protocol and a variant of the cakecutting problem.

R2RhIn8 compounds (space group P4/mmm, R is a rareearth element) belong to a
large group of structurally related tetragonal materials which involves several
heavyfermion superconductors based on Ce. We have succeeded to grow single
crystals of compounds with Nd, Dy and Er and following our previous bulk
measurements, we performed neutrondiffraction studies to determine their
magnetic structures. The Laue diffraction experiment showed that the
antiferromagnetic order below the N\'eel temperature is in all three compounds
characterized by the propagation vector k = (1/2, 1/2, 1/2). The amplitude and
direction of the magnetic moments, as well as the invariance symmetry of the
magnetic structure, were determined by subsequent experiments using two and
fourcircle diffractometers. The critical exponents were determined from the
temperature dependence of the intensities below TN.

Assuming a resonant origin of the quasiperiodic oscillations observed in the
Xray neutron star binary systems, we apply a genetic algorithm method for
selection of neutron star models. It was suggested that pairs of kiloHertz
peaks in the Xray Fourier power density spectra of some neutron stars reflect
a nonlinear resonance between two modes of accretion disk oscillations. In
several specific models, the two modes are related to physically plausible
combinations of Keplerian, vertical and radial frequencies of geodesic orbital
motion. We investigate this concept for a specific neutron star source, a fixed
pair of modes and various neutron star equations of state. Each neutron star
model is characterized by the equation of state (EOS), rotation frequency
($\Omega$) and central energy density ($\rho_\mathrm c$). These determine the
spacetime structure governing geodesic motion and position dependent radial and
vertical epicyclic oscillations related to the stable circular geodesics. When
the parameters of neutron star model are fixed, the two considered modes imply
a frequencyfrequency relation which can be compared to the observation in
order to eliminate the unsatisfactory sets (KR,$\rho_\mathrm c, \Omega$, EOS).
For the elimination we use the advanced genetic algorithm. Genetic algorithm
comes out from the method of natural selection when subjects with the best
adaptation to assigned conditions have best chances to survive. The chosen
genetic algorithm with sexual reproduction contains one chromosome with
restricted lifetime, uniform crossing and genes of type 3/3/5. For encryption
of physical description (KR,$\rho_\mathrm c, \Omega$, EOS) into chromosome we
use the Gray code. As a fitness function we use correspondence between the
observed and calculated pairs of eigenfrequencies.