void nag_open_file (const char *filename, Integer mode, Nag_FileID *fileid,

nag_open_file (x04acc) nag_open_file (x04acc) opens a file for reading, writing or appending, and returns an associated file identifier

Because

nag_zhpcon (f07puc) nag_zhpcon (f07puc) estimates the condition number of a complex Hermitian indefinite matrix A, where A has been factorized by nag_zhptrf (f07prc), using packed storage

f08 – Least-squares and Eigenvalue Problems (LAPACK) f08wwc

nag_zggbak (f08wwc) nag_zggbak (f08wwc) forms the right or left eigenvectors of the real generalized eigenvalue problem Ax Bx, by backward transformation on the computed eigenvectors given by nag_ztgevc (f08yxc). It is necessary to call this function only if the optional balancing function nag_zggbal (f08wvc) was previously called to balance the matrix pair ðA; BÞ

g12 – Survival Analysis g12zac

nag_surviv_risk_sets (g12zac) nag_surviv_risk_sets (g12zac) creates the risk sets associated with the Cox proportional hazards model for fixed covariates

void nag_real_sparse_eigensystem_init (Integer n, Integer nev, Integer ncv,

nag_real_sparse_eigensystem_init (f12aac) is a setup function in a suite of functions consisting of nag_real_sparse_eigensystem_init (f12aac), nag_real_sparse_eigensystem_iter (f12abc), nag_real_sparse_eigensystem_sol (f12acc), nag_real_sparse_eigensystem_option (f12adc) and nag_real_sparse_eigensystem_monit (f12aec). It is used to find some of the eigenvalues (and optionally the corresponding eigenvectors) of a standard or generalized eigenvalue problem defined by real nonsymmetric matrices. The suite of functions is suitable for the solution of large sparse, standard or generalized, non-symmetric eigenproblems where only a few eigenvalues from a selected range of the spectrum are required

f07 – Linear Equations (LAPACK) f07fsc

nag_zpotrs (f07fsc) nag_zpotrs (f07fsc) solves a complex Hermitian positive-definite system of linear equations with multiple right-hand sides, AX B, where A has been factorized by nag_zpotrf (f07frc)

1: order – Nag_OrderType Input

nag_dtrexc (f08qfc) nag_dtrexc (f08qfc) reorders the Schur factorization of a real general matrix

Vortex dynamics and pinning properties analysis of MgB2 bulk samples by ac susceptibility measurements

The flux lines dynamics have been investigated on MgB2 bulk superconductors obtained by reactive liquid infiltration by measuring the ac magnetic susceptibility. The fundamental and third harmonics have been studied as a function of temperature, dc magnetic field, ac field amplitude and frequency. In order to determine the dynamical regimes governing the vortex motion, the experimental results have been compared with susceptibility curves obtained by numerical calculations of the non-linear diffusion equation for the magnetic field. The frequency behaviour of the third harmonic response, that cannot be explained by frequency dependent critical state models, has been related to the current dependence of the flux creep activation energy U(J) in the diffusion coefficient. In this way we have shown that the measured curves are correctly interpreted within the framework of a vortex glass description.Comment: 12 pages, 4 figures, Proceedings of Boromag worksho

I Going Away. I Going Home. : Austin Clarke\u27s Leaving this Island Place

Austin Clarke’s “Leaving This Island Place” is one of scores of Caribbean autobiographical works that focus on a bright, young, lower-class islander leaving his/her small island place and setting out on “Eldorado voyages.” The narrative of that journey away from home to Europe or Canada or the United States and the later efforts to return may be said to be the Caribbean story, as suggested in the subtitle of Wilfred Cartey’s study of Caribbean literature, Whispers from the Caribbean: I Going Away, I Going Home, which argues that while in Caribbean literature there is much movement away, there is also a body of literature in which “the notion of ‘away’ and images of movement out are replaced by images of return” (xvi). Traditionally, however, the first autobiographical works, such as George Lamming’s In the Castle of My Skin, V. S. Naipaul’s A House for Mr. Biswas, Merle Hodge’s Crick Crack, Monkey, Jamaica Kincaid’s Annie John, Michelle Cliff’s No Telephone to Heaven, Edwidge Danticat’s Breath, Eyes, Memory, and Elizabeth Nunez’s Beyond the Limbo Silence, have focused on the childhood in the Caribbean and the journey away—or at least the preparation for that journey. Such is the case with Clarke’s “Leaving This Island Place.

Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties

© 2017 The Authors. Published by Taylor & Francis. This is an open access article available under a Creative Commons licence. The published version can be accessed at the following link on the publisher’s website: https://doi.org/10.1080/13873954.2017.1369437What if we designed a tool to automatically generate a dynamical transition system for the formal specification of mechanical systems subject to multiple impacts, contacts and discontinuous friction? Such a tool would represent an advance in the description and simulation of these complex systems. This is precisely what this paper offers: Dyverse Rigid Body Toolbox (DyverseRBT). This tool requires a sufficiently expressive computational model that can accurately describe the behaviour of the system as it evolves over time. For this purpose, we propose an alternative abstraction of multi-rigid-body (MRB) mechanical systems with multiple contacts as an extended version of the classical hybrid automaton, which we call MRB hybrid automaton. One of the chief characteristics of the MRB hybrid automaton is the inclusion of computation nodes to encode algorithms to calculate the contact forces. The computation nodes consist of a set of non-dynamical discrete locations, discrete transitions and guards between these locations, and resets on transitions. They can account for the energy transfer not explicitly considered within the rigid-body formalism. The proposed modelling framework is well suited for the automated verification of dynamical properties of realistic mechanical systems. We show this by the falsification of safety properties over the transition system generated by DyverseRBT.This work was supported by the Engineering and Physical Sciences Research Council (EPSRC) of the UK: [Grant Number EP/I001689/1] (‘DYVERSE: A New Kind of Control for Hybrid Systems’), and the Research Councils UK (RCUK): [Grant Number EP/E50048/1].Published versio