Programm
Programmirung

15-00 (1) Plenar section

Small Holl SH SB RAS

Head: Podlovchenko R.I.

1. Kovacs G. M-3, the first Hungarian computer

2. Pottosin I.V., Uvarov D.L. Backgraund of optimization transformations (abstract in russian)

3. Nepomniaschy V.A., Anureev I.S., Michailov I.N., Promsky A.V. Towards C programs verification. Language C-light.

4. Baehrs A.A. On analysis of the semantic of the informatics basic concepts

5. Bandman O. Ctllular-Neural Automaton. A discrete Model of Active Media Dynamics

6. Vasilyev S.N., Cherkashin E.A., Bychkov I.V., Cherkashin A.K.* Automatic syntesis of mathematical models

9-00 -- 19-00 (4) Poster section

Small Holl SH SB RAS

1. Kostyuk Yu.L., Novikov Yu.L. Triangulation based graph models in color raster vectorization problem

2. Nartov B.K. Method of Elastic Functions

3. Ozhigov Y.I. How behavior of systems with sparse spectrum can be predicted on a quantum computer

4. Chernov A.V. Integrated environment for program obfuscation research (abstract in russian)

11-00 -- 14-00 

1. Anureev I.S. Specification language SIMPLE

2. Glushkova V.N. Computable SIGMA-specifications for the design of hierarchy discrete systems (full text)

3. Zagorulko Y.A., Gaditski R.V. Reactive approach to information analysis

4. Ilicheva O.A. Logical maintenance tools for information technologies

5. Korlyakova M.O. Data Mining for knowleg base building

6. Butakov S., Rubtsov D. Development of intelligent hybrid system shell

7. Nemytykh A.P. The Supercompilar Scp4: General Structure. (abstract in russian)

8. Efimov G., Zueva E., Stchenkov I. Computer Algebra in Keldysh Institute of Aapplied Mathematics (abstract in russian)

9. Debelov V.A., Sevastyanov I.M. Parallelization of Monte Carlo Method for Synthesis of Photoreaslistic Images Using Fictitious Separating Plane (abstract in russian)

10. Gorodnyaya L.V., Kalinina N.A. INFORMATION SYSTEMS AS the TOOL of Rize efficiency of basic researches of computer science and programming (full text)

15-00 -- 19-00 

1. Kutcherov M.M. Quantum computation in the quantum network

2. Nesteruck G.P., Nesteruck P About One Way of Neural Networks Realization

3. Shibzoukhov Z.M. Recurrent Algorithms for Constructive Learning of Algebraic Sigma-Pi--neurons

4. Golubyatnikov V.P., Smirnov G.I. On primary logical elements of Quantum Computer

5. Sushchenko S.P., Sushchenko M.S. Efficiency analysis of associative nonblocking cache

6. Bychkov I.V., Kukharenko E.L., Cherkashin E.A., Fedorov R.K. DDL as a mean of data access standardization (full text)

7. Razumov V.I., Sizikov V.P. The Universalization of the language governing and modelling on the basis of TDIS (abstract in russian)

8. Prokopchuk Y., Kostra V. Problem of choice in open information systems

9. Zykin S. Conformity of condition of realizations initial and target data models

Comments

[Home] [Conference]

©2001, Siberian Branch of Russian Academy of Science, Novosibirsk
©2001, United Institute of Computer Science SB RAS, Novosibirsk
©2001, Institute of Computational Techologies SB RAS, Novosibirsk
©2001, A.P. Ershov Institute of Informatics Systems SB RAS, Novosibirsk
©2001, Institute of Mathematics SB RAS, Novosibirsk
©2001, Institute of Cytology and Genetics SB RAS, Novosibirsk
©2001, Institute of Computational Mathematics and Mathematical Geophysics SB RAS, Novosibirsk
©2001, Novosibirsk State University
Last modified 06-Jul-2012 (11:45:21)