The PJSC “Novatek” activity efficiency reserves identification based on the economic and accounting analysis

A comparative analysis of three large Russian companies – PJSC “Novatek”, PJSC “Gazprom”, PJSC “Surgutneftegaz”, – is presented. The study relevance is caused by the gas industry strategic importance of the country as a whole as well as the specifics of its current situation: a large-scale drop of world gas prices, the ruble depreciation in relation to the US dollar, the introduction of sanctions on Russia. The financial and economic activities of the company PJSC “Novatek” is examined in the article. Various approaches to the analysis and identification of the company’s activities potential are studied. The investment attractiveness of competitors’ companies is evaluated. The research methodology included: complex, empirical, retrospective types of analysis (since the calculations of the companies’ financial conditions indicators are based on their consolidated financial statements data as of December 31, 2015); comparative, horizontal and vertical types of analysis; grouping method is categorization. As a result methodological principles of carrying out an economic analysis of gas producing companies’ activities are formed in order to make effective management decisions in conditions of risk and uncertainty

Theory Learning with Symmetry Breaking

This paper investigates the use of a Prolog coded SMT solver in tackling a well known constraints problem, namely packing a given set of consecutive squares into a given rectangle, and details the developments in the solver that this motivates. The packing problem has a natural model in the theory of quantifier-free integer difference logic, a theory supported by many SMT solvers. The solver used in this work exploits a data structure consisting of an incremental Floyd-Warshall matrix paired with a watch matrix that monitors the entailment status of integer difference constraints. It is shown how this structure can be used to build unsatisfiable theory cores on the fly, which in turn allows theory learning to be incorporated into the solver. Further, it is shown that a problem-specific and non-standard approach to learning can be taken where symmetry breaking is incorporated into the learning stage, magnifying the effect of learning. It is argued that the declarative framework allows the solver to be used in this white box manner and is a strength of the solver. The approach is experimentally evaluated

Comparison of Structural Subscapularis Integrity After Latarjet Procedure Versus Iliac Crest Bone Graft Transfer

Background: Although clinical outcome scores are comparable after coracoid transfer procedure (Latarjet) and iliac crest bone graft transfer (ICBGT) for anterior shoulder instability with glenoid bone loss, a significant decrease in internal rotation capacity has been reported for the Latarjet procedure. Hypothesis: The subscapularis (SSC) musculotendinous integrity will be less compromised by ICBGT than by the Latarjet procedure. Study Design: Cohort study; Level of evidence, 3. Methods: We retrospectively analyzed pre- and postoperative computed tomography (CT) scans at short-term follow-up of 52 patients (26 Latarjet, 26 ICBGT) previously assessed in a prospective randomized controlled trial. Measurements included the preoperative glenoid defect area and graft area protruding the glenoid rim at follow-up and tendon thickness assessed through SSC and infraspinatus (ISP) ratios. Fatty muscle infiltration was graded according to Goutallier, quantified with muscle attenuation in Hounsfield units, and additionally calculated as percentages. We measured 3 angles to describe rerouting of the SSC musculotendinous unit around the bone grafts. Results: SSC fatty muscle infiltration was 2.0% ± 2.2% in the Latarjet group versus 2.4% ± 2.2% in ICBGT (P = .546) preoperatively and showed significantly higher values in the Latarjet group at follow-up (5.3% ± 4.5% vs 2.3% ± 1.7%; P = .001). In total, 4 patients (15.4%) in the Latarjet group showed a progression from grade 0 to grade 1 at follow-up, whereas no changes in the ICBGT group were noted. The measured rerouting angle of the SSC muscle was significantly increased in the Latarjet group (11.8° ± 2.1°) compared with ICBGT (7.5° ± 1.3°; P < .001) at follow-up, with a significant positive correlation between this angle and fatty muscle infiltration (R = 0.447; P = .008). Ratios of SSC/ISP tendon thickness were 1.03 ± 0.3 in the Latarjet group versus 0.97 ± 0.3 (P = .383) in ICBGT preoperatively and showed significantly lower ratios in the Latarjet group (0.7 ± 0.3 vs 1.0 ± 0.2; P < .001) at follow-up. Conclusion: Although clinical outcome scores after anterior shoulder stabilization with a Latarjet procedure and ICBGT are comparable, this study shows that the described decline in internal rotation capacity after Latarjet procedure has a radiographic structural correlate in terms of marked thinning and rerouting of the SSC tendon as well as slight fatty degeneration of the muscle

Lattice dynamics and structural stability of ordered Fe3Ni, Fe3Pd and Fe3Pt alloys

We investigate the binding surface along the Bain path and phonon dispersion relations for the cubic phase of the ferromagnetic binary alloys Fe3X (X = Ni, Pd, Pt) for L12 and DO22 ordered phases from first principles by means of density functional theory. The phonon dispersion relations exhibit a softening of the transverse acoustic mode at the M-point in the L12-phase in accordance with experiments for ordered Fe3Pt. This instability can be associated with a rotational movement of the Fe-atoms around the Ni-group element in the neighboring layers and is accompanied by an extensive reconstruction of the Fermi surface. In addition, we find an incomplete softening in [111] direction which is strongest for Fe3 Ni. We conclude that besides the valence electron density also the specific Fe-content and the masses of the alloying partners should be considered as parameters for the design of Fe-based functional magnetic materials.Comment: Revised version, accepted for publication in Physical Review

CP and related phenomena in the context of Stellar Evolution

We review the interaction in intermediate and high mass stars between their evolution and magnetic and chemical properties. We describe the theory of Ap-star `fossil' fields, before touching on the expected secular diffusive processes which give rise to evolution of the field. We then present recent results from a spectropolarimetric survey of Herbig Ae/Be stars, showing that magnetic fields of the kind seen on the main-sequence already exist during the pre-main sequence phase, in agreement with fossil field theory, and that the origin of the slow rotation of Ap/Bp stars also lies early in the pre-main sequence evolution; we also present results confirming a lack of stars with fields below a few hundred gauss. We then seek which macroscopic motions compete with atomic diffusion in determining the surface abundances of AmFm stars. While turbulent transport and mass loss, in competition with atomic diffusion, are both able to explain observed surface abundances, the interior abundance distribution is different enough to potentially lead to a test using asterosismology. Finally we review progress on the turbulence-driving and mixing processes in stellar radiative zones.Comment: Proceedings of IAU GA in Rio, JD4 on Ap stars; 10 pages, 7 figure

Impedimetric Microfluidic Sensor-in-a-Tube for Label-Free Immune Cell Analysis

Analytical platforms based on impedance spectroscopy are promising for non-invasive and label-free analysis of single cells as well as of their extracellular matrix, being essential to understand cell function in the presence of certain diseases. Here, an innovative rolled-up impedimetric microfulidic sensor, called sensor-in-a-tube, is introduced for the simultaneous analysis of single human monocytes CD14+ and their extracellular medium upon liposaccharides (LPS)-mediated activation. In particular, rolled-up platinum microelectrodes are integrated within for the static and dynamic (in-flow) detection of cells and their surrounding medium (containing expressed cytokines) over an excitation frequency range from 102 to 5 × 106 Hz. The correspondence between cell activation stages and the electrical properties of the cell surrounding medium have been detected by electrical impedance spectroscopy in dynamic mode without employing electrode surface functionalization or labeling. The designed sensor-in-a-tube platform is shown as a sensitive and reliable tool for precise single cell analysis toward immune-deficient diseases diagnosis

Structure, Deformations and Gravitational Wave Emission of Magnetars

Neutron stars can have, in some phases of their life, extremely strong magnetic fields, up to 10^15-10^16 G. These objects, named magnetars, could be powerful sources of gravitational waves, since their magnetic field could determine large deformations. We discuss the structure of the magnetic field of magnetars, and the deformation induced by this field. Finally, we discuss the perspective of detection of the gravitational waves emitted by these stars.Comment: 11 pages, 2 figures, prepared for 19th International Conference on General Relativity and Gravitation (GR19), Mexico City, Mexico, July 5-9, 201

Evaluation of a surgical interface for robotic cryoablation task using an eye-tracking system

Computer-assisted navigation systems coupled with surgical interfaces (SIs) are providing doctors with tools that are safer for patients compared to traditional methods. Usability analysis of the SIs that guides their development is hence important. In this study, we record the eye movements of doctors and other people with no medical expertise during interaction with an SI that directs a simulated cryoablation task. There are two different arrangements for the layout of the same SI, and the goal is to evaluate whether one of these arrangements is ergonomically better than the other. We use several gaze related statistics some of which are employed in an SI design context for the first time. Even though the performance and gaze related analysis reveals that the two arrangements are comparable in many respects, there are also differences. Specifically, one arrangement leads to more saccades along the vertical and horizontal directions, lower saccade amplitudes in the crucial phase of the task, more locally clustered and yet globally spread viewing. Accordingly, that arrangement is selected for future use. The present study provides a proof of concept for the integration of novel gaze analysis tools developed for scene perception studies into the interface development process.European Commissionpost-prin

The long helical jet of the Lighthouse nebula, IGR J11014-6103

Jets from rotation-powered pulsars have so far only been observed in systems moving subsonically trough their ambient medium and/or embedded in their progenitor supernova remnant (SNR). Supersonic runaway pulsars are also expected to produce jets, but they have not been confirmed so far. We investigated the nature of the jet-like structure associated to the INTEGRAL source IGR J11014-6103 (the "Lighthouse nebula"). The source is a neutron star escaping its parent SNR MSH 11-61A supersonically at a velocity exceeding 1000 km/s. We observed the Lighthouse nebula and its jet-like X-ray structure through dedicated high spatial resolution observations in X-rays (Chandra) and radio band (ATCA). Our results show that the feature is a true pulsar's jet. It extends highly collimated over >11pc, displays a clear precession-like modulation, and propagates nearly perpendicular to the system direction of motion, implying that the neutron star's spin axis in IGR J11014-6103 is almost perpendicular to the direction of the kick received during the supernova explosion. Our findings suggest that jets are common to rotation-powered pulsars, and demonstrate that supernovae can impart high kick velocities to misaligned spinning neutron stars, possibly through distinct, exotic, core-collapse mechanisms.Comment: 8 pages, 6 figures, 1 table. Discussion (sec.3) expanded and typos fixed; results unchanged. Published on A&

Revising the WHO verbal autopsy instrument to facilitate routine cause-of-death monitoring.

OBJECTIVE: Verbal autopsy (VA) is a systematic approach for determining causes of death (CoD) in populations without routine medical certification. It has mainly been used in research contexts and involved relatively lengthy interviews. Our objective here is to describe the process used to shorten, simplify, and standardise the VA process to make it feasible for application on a larger scale such as in routine civil registration and vital statistics (CRVS) systems. METHODS: A literature review of existing VA instruments was undertaken. The World Health Organization (WHO) then facilitated an international consultation process to review experiences with existing VA instruments, including those from WHO, the Demographic Evaluation of Populations and their Health in Developing Countries (INDEPTH) Network, InterVA, and the Population Health Metrics Research Consortium (PHMRC). In an expert meeting, consideration was given to formulating a workable VA CoD list [with mapping to the International Classification of Diseases and Related Health Problems, Tenth Revision (ICD-10) CoD] and to the viability and utility of existing VA interview questions, with a view to undertaking systematic simplification. FINDINGS: A revised VA CoD list was compiled enabling mapping of all ICD-10 CoD onto 62 VA cause categories, chosen on the grounds of public health significance as well as potential for ascertainment from VA. A set of 221 indicators for inclusion in the revised VA instrument was developed on the basis of accumulated experience, with appropriate skip patterns for various population sub-groups. The duration of a VA interview was reduced by about 40% with this new approach. CONCLUSIONS: The revised VA instrument resulting from this consultation process is presented here as a means of making it available for widespread use and evaluation. It is envisaged that this will be used in conjunction with automated models for assigning CoD from VA data, rather than involving physicians