Skip to main content

and
  1. No Access

    Chapter

    Physical Characteristics of Kazan Minor Showers as Determined by Correlations with the Arecibo UHF Radar

    In the northern hemisphere, the month of February is characterized by a lack of major meteor shower activity yet a number of weak minor showers are present as seen by the Kazan radar. Using the Feller transfor...

    David D. Meisel, Johan Kero, Csilla Szasz in Advances in Meteoroid and Meteor Science (2008)

  2. No Access

    Chapter and Conference Paper

    Industrial Application of External Black-Box Functions in Constraint Programming Solver

    We examine the problem of interaction between the interval constraint programming solver and external computation algorithms that are considered by the solver as Black Boxes. Some techniques are used in order ...

    Vladimir Sidorov, Vitaly Telerman in Perspectives of System Informatics (2003)

  3. No Access

    Chapter and Conference Paper

    Constraint Programming Techniques for Solving Problems on Graphs

    In this paper we examine a technology for solving problems on graphs in the constraint programming framework called Subdefinite Models. We describe in brief the mechanism of constraint propagation underlying it. ...

    Vladimir Sidorov, Vitaly Telerman, Dmitry Ushakov in Perspectives of System Informatics (2000)

  4. No Access

    Chapter and Conference Paper

    Problem solving in the object-oriented technological environment NeMo+

    We study the mechanism of subdefinite models and the object-oriented technological environment NeMo+ for constructing solvers based on subdefinite models. The paper presents the main features of NeMo+ and shows i...

    Vitaly Telerman, Vladimir Sidorov, Dmitry Ushakov in Perspectives of System Informatics (1996)