Machine Learning for SAT: Restricted Heuristics and New Graph Representations

Boolean satisfiability (SAT) is a fundamental NP-complete problem with many applications, including automated planning and scheduling. To solve large instances, SAT solvers have to rely on heuristics, e.g., choosing a branching variable in DPLL and CDCL solvers. Such heuristics can be improved with machine learning (ML) models; they can reduce the number of steps but usually hinder the running time because useful models are relatively large and slow. We suggest the strategy of making a few initial steps with a trained ML model and then releasing control to classical heuristics; this simplifies cold start for SAT solving and can decrease both the number of steps and overall runtime, but requires a separate decision of when to release control to the solver. Moreover, we introduce a modification of Graph-Q-SAT tailored to SAT problems converted from other domains, e.g., open shop scheduling problems. We validate the feasibility of our approach with random and industrial SAT problems

Eventbus module for distributed openflow controllers

In this article the authors examine the concept of software defined network (SDN). In the beginning there is a short historical background of the ”software defined network” as the scientific and technological concept given, by whom it was introduced and what it means. Substantial attention is paid to the OpenFlow protocol. Further, the authors consider development of SDN technology similarly to ideas suggested in MPLS concept, discuss the issues of distributed controllers using ONIX, Kandoo as examples and describe the mechanism of interaction between applications and SDN controller, which they have devised

Optimization of the laser beam propagation conditions in the prism stretcher of THL-100 multiterawatt laser system

The influence of the optical inhomogeneities effect of the prism stretcher elements on the spatial, angular and spectral parameters of the transmitted radiation and the degree of change in the phase aberrations of the laser beam during its propagation in the stretcher are studied. It is shown that the prism material does not allow transmitting of a required diameter of 75 mm without linear distortions of the beam. The maximum intensity and beam diameter allowing to amplify the picosecond pulses in XeF(C-A) amplifier are determined. © (2015) COPYRIGHT Society of Photo-Optical Instrumentation Engineers (SPIE). Downloading of the abstract is permitted for personal use only

Educational Inequality and Professional Motivation of a Future Teacher

The professional motivation and interest of the teacher in the students’ educational results are the key resources that allow educational institutions to minimize the existing inequality of educational opportunities for members of different social groups. On this point, one of the important issues of professional training of future teachers is the formation of motivation for their professional activity regarded as a factor that ensures the equality of educational opportunities for students from different social groups. Based on the results of empirical studies of different years, the article analyzes the changes that occurred in the professional motivation of students after the Ussuriysk State Pedagogical Institute joined the Far Eastern Federal University (FEFU) in 2011 as the School of Education. The use of the same measuring instruments made it possible to conduct a comparative analysis of the professional motivation of students in different periods

Nanopowders Production and Micron-Sized Powders Spheroidization in DC Plasma Reactors

Technology for metal and inorganic compounds nanopowders production in DC arc plasma reactors has been developed. Similar DC arc plasma reactors were used for micron-sized powders spheroidization. Results of experimental studies are presented. Formation of nanoparticles via different mechanisms as well as mass transfer of nanopowders to the reactor cooling surfaces are discussed. Heat flux distribution along the reactor wall and its influence on the evolution of nanoparticles in the deposited layer are investigated. Effects of plasma torch and confined jet reactor operation parameters on the granulometric, phase and chemical composition of nanopowders are discussed. Potential of the confined plasma jet apparatus for micron-sized metal and composite particles spheroidization is demonstrated

Searching for Magnetospheres around Herbig Ae/Be Stars

We describe four different approaches for the detection of magnetospheric accretion among Herbig Ae/Be stars with accretion disks. Studies of several unique objects have been carried out. One of the objects is the Herbig Ae star HD 101412 with a comparatively strong magnetic field. The second is the early-type Herbig B6e star HD 259431. The existence of a magnetosphere in these objects was not recognized earlier. In both cases, a periodicity in the variation of some line parameters, originating near the region of the disk/star interaction, has been found. The third object is the young binary system HD 104237, hosting a Herbig Ae star and a T Tauri star. Based on the discovery of periodic variations of equivalent widths of atmospheric lines in the spectrum of the primary, we have concluded that the surface of the star is spotted. Comparing our result with an earlier one, we argue that these spots can be connected with the infall of material from the disk onto the stellar surface through a magnetosphere. The fourth example is the Herbig Ae/Be star HD 37806. Signatures of magnetospheric accretion in this object have been identified using a different method. They were inferred from the short-term variability of the He I λ5876 line profile forming in the region of the disk/star interaction

Fauna of Ground Beetles (Coleoptera, Carabidae) in Broad-leaved Forests of the Republic of Mordovia (Central European Russia)

The fauna of Carabidae adults in broad-leaved forests of the Republic of Mordovia (central European Russia) was studied. A total of 18210 ground beetle specimens of 104 species (8 subfamilies) were collected. The most numerous species were eight species: Carabus cancellatus, Pterostichus niger, Pterostichus oblongopunctatus, Limodromus assimilis, Calosoma inquisitor, Carabus granulatus, Pterostichus melanarius, Carabus arvensis. The basis of the Carabidae fauna consists of 25 species with high occurrence (50% and higher). Among them, four species are characterized by 100% occurrence: Carabus granulatus, Carabus hortensis, Pterostichus niger, Pterostichus oblongopunctatus

Dolan-Grady Relations and Noncommutative Quasi-Exactly Solvable Systems

We investigate a U(1) gauge invariant quantum mechanical system on a 2D noncommutative space with coordinates generating a generalized deformed oscillator algebra. The Hamiltonian is taken as a quadratic form in gauge covariant derivatives obeying the nonlinear Dolan-Grady relations. This restricts the structure function of the deformed oscillator algebra to a quadratic polynomial. The cases when the coordinates form the su(2) and sl(2,R) algebras are investigated in detail. Reducing the Hamiltonian to 1D finite-difference quasi-exactly solvable operators, we demonstrate partial algebraization of the spectrum of the corresponding systems on the fuzzy sphere and noncommutative hyperbolic plane. A completely covariant method based on the notion of intrinsic algebra is proposed to deal with the spectral problem of such systems.Comment: 25 pages; ref added; to appear in J. Phys.

Novel robust biomarkers for human bladder cancer based on activation of intracellular signaling pathways

Sherpa Romeo blue journal. Open access article. Creative Commons Attribution 3.0 License (CC BY 3.0) applies.We recently proposed a new bioinformatic algorithm called OncoFinder for quantifying the activation of intracellular signaling pathways. It was proved advantageous for minimizing errors of high-throughput gene expression analyses and showed strong potential for identifying new biomarkers. Here, for the first time, we applied OncoFinder for normal and cancerous tissues of the human bladder to identify biomarkers of bladder cancer. Using Illumina HT12v4 microarrays, we profiled gene expression in 17 cancer and seven non-cancerous bladder tissue samples. These experiments were done in two independent laboratories located in Russia and Canada. We calculated pathway activation strength values for the investigated transcriptomes and identified signaling pathways that were regulated differently in bladder cancer (BC) tissues compared with normal controls. We found, for both experimental datasets, 44 signaling pathways that serve as excellent new biomarkers of BC, supported by high area under the curve (AUC) values. We conclude that the OncoFinder approach is highly efficient in finding new biomarkers for cancer. These markers are mathematical functions involving multiple gene products, which distinguishes them from “traditional” expression biomarkers that only assess concentrations of single genes.Ye