Article

THE AUTOMATED CONTROL SYSTEM OF THE VIRTUAL EDUCATIONAL ENVIRONMENT

November 2010

Article

FINITE AUTOMATA VALIDATION WITH VARIABLES IN FUNCTIONAL PROGRAMMING LANGUAGES

November 2010

Article

POINT SPECTRUM OF SCHRODINGER OPERATOR FOR TWO CONNECTED SEMICRYSTALS WITH KRONIG-PENNEY POTENTIALS

November 2010

Article

HIGH-PERFORMANCE SOFTWARE SYSTEM FOR DYNAMIC MARINE OBJECTS SIMULATION IN EXTREME CONDITIONS

November 2010

Article

GENERATED PROBLEMS IN THE SYSTEM INTENDED FOR DISTANCE WORK WITH PROBLEMS

September 2010

Article

METHOD OF DIFFUSE OPTICAL SPECTROSCOPY FOR IN VIVO ESTIMATION OF TUMOR OXYGENATION DYNAMICS

September 2010

Article

APPLICATION OF GENETIC PROGRAMMING AND MODEL CHECKING FOR FINITE-STATE MACHINE INDUCTION ON THE BASE OF TESTS AND SPECIFICATION

September 2010

Article

Mathematical model of a regenerative heat exchanger

September 2010

Article

SOFTWARE PACKAGE FOR PERFORMANCE ANALYSIS OF ALGORITHMS FOR NONLINEAR NAVIGATION PROBLEMS

September 2010

Article

INVESTIGATION OF MICROSTRUCTURE PARAMETERS OF CHROME FILMS AND THEIR INFLUENCE ON RESULTS OF LOCAL THERMOCHEMICAL OXIDATION BY LASER RADIATION

September 2010