• 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 spin-exciton due to the $d$($s^{\pm}$)-wave symmetry of the superconducting order parameter, it has also been proposed to be a magnon-like excitation appearing in the superconducting state. Here we use inelastic neutron scattering to demonstrate that the resonance in the heavy fermion superconductor Ce$_{1-x}$Yb$_{x}$CoIn$_5$ with $x=0,0.05,0.3$ has a ring-like upward dispersion that is robust against Yb-doping. By comparing our experimental data with random phase approximation calculation using the electronic structure and the momentum dependence of the $d_{x^2-y^2}$-wave superconducting gap determined from scanning tunneling microscopy for CeCoIn$_5$, we conclude the robust upward dispersing resonance mode in Ce$_{1-x}$Yb$_{x}$CoIn$_5$ is inconsistent with the downward dispersion predicted within the spin-exciton scenario.
  • The evolution of magnetism and superconductivity in Ce$_2$Rh$_{1-x}$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 self-flux and characterized by x-ray 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 field-induced 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 zero-field 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 ground-state 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 MCMAS-SLK, a BDD-based 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 cake-cutting problem.
  • R2RhIn8 compounds (space group P4/mmm, R is a rare-earth element) belong to a large group of structurally related tetragonal materials which involves several heavy-fermion 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 neutron-diffraction 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 four-circle 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 X-ray neutron star binary systems, we apply a genetic algorithm method for selection of neutron star models. It was suggested that pairs of kilo-Hertz peaks in the X-ray Fourier power density spectra of some neutron stars reflect a non-linear 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 frequency-frequency 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.