Поиск по:www.intsys.msu.ru -
Поискать по всем серверам
На этой странице приведены все страницы сервера www.intsys.msu.ru ,которые мы индексируем. Показаны документы 481 - 500 из 545.
Упорядочить по:
URL
|
дате изменения
481. http://www.intsys.msu.ru/magazine/archive/v11(1-4)/budnikov-343-360.pdf
... N. Pipp enger and J. Sp encer) 1. ... G. v deg G (v ) v . ... Pipp enger-Sp encer [1]. [1]: 1. > 0, k 2 , > 0, N > 0 , d(G) n > N (G) (1 + )D (G). () , : f (G) g (G) limG f (G)/g (G) = 1, , n(G) , f (G) g (G) limG f (G)/g (G) = 0, f (G) g (G) limG f (G)/g (G) 1. d(G) : d(G) D (G), (1') (2') (*') D (G) (G) (1 - )D (G), D (G), (1) (2) C (G) C (G) D (G), (G) D (G). ... Pipp enger-Sp encer , , , Pipp enger-Sp encer . ... Pipp enger-Sp encer . ... lnc D ), c - , , Pipp enger-Sp encer . ... C n-1 , Cn-2 ....
[
Текст
]
Ссылки http://www.intsys.msu.ru/magazine/archive/v11(1-4)/budnikov-343-360.pdf -- 158.2 Кб -- 18.02.2008
Похожие документы
Похожие документы
482. http://www.intsys.msu.ru/magazine/archive/v11(1-4)/mironov-219-260.pdf
... B , ), , Q B , inf (Q) sup(Q) B , b B (q Q b (q Q q q) b) b inf (Q), b. sup(Q) inf (B ) sup(B ) 0 1 . ... pn }, (A) = Ai , def 224 . ... F K ( Fuzzy Kripke). ... 132) (130), (126), (27) , (131) a (133) inf ((RL )a (x, y ) [[B ]]y ) . ... 3] BendovД K., HД a ajek P. Possibilistic logic as a tense logic // Proceedings of QUARDET'93. ... 4] Boutilier C. Mo dal logics for qualitative p ossibility and b eliefs // Uncertainty in Artificial Intelligence VI I I / D. Dub ois et al., eds. Morgan Kaufmann,...
[
Текст
]
Ссылки http://www.intsys.msu.ru/magazine/archive/v11(1-4)/mironov-219-260.pdf -- 191.3 Кб -- 18.02.2008
Похожие документы
Похожие документы
483. http://www.intsys.msu.ru/magazine/archive/v11(1-4)/mailybaieva-185-218.pdf
PIR- . ... r , , i. [1, B. Chor, O. Goldreich, E. Kushilevitz, M. Sudan, 1995] Private Information Retrieval, PIR-. ... 1 ( ). n s+1 C (2, n, s, A2 ) 2 ] log2 s[ + n + (n mo d s2 ). 2s sign : N {0} {0, 1} sign(n) = 0, n = 0, 1, n 1. s 2 ( ). n, s C (2, n, s, A2 ) d = n mo d s. 1. n, s n 2s2 , s+1 C (2, n, s, A2 ) = 2 ] log2 s[ + n. 2s 2 ] log2 s[ + s+1 s+1 n- 2s 2 sign(d) - d s , 3. 1. (2, n, s, p) PIR- I = Q, A 0 , A1 , R , i En , j E2 r1 , r2 Es , r1 = r2 , Q(j, i, r1 ) = Q(j, i, r2 ). ...
[
Текст
]
Ссылки http://www.intsys.msu.ru/magazine/archive/v11(1-4)/mailybaieva-185-218.pdf -- 360.8 Кб -- 18.02.2008
Похожие документы
Похожие документы
484. http://www.intsys.msu.ru/magazine/archive/v11(1-4)/levin-171-184.pdf
N. Koblitz) 1985 [1]. K , F q , q = pn , p , n N. 1. ( ) char K = 2, 3 x3 + ax + b (a, b K ). ... Eab (Fp ), Ea b (Fp ) Fp , p = 2, 3. ... ECC (Elliptic Curve Cryptology)-. ... ASCI I ( 0 255). , = 25. veni vidi vici (2951,6054)(2527,4044)(2752,140)(2625,1007)(801,4067)(2951,6054)(2625,1007) (2500,4398)(2625,1007)(801,4067)(2951,6054)(2625,1007)(2476,2074)(2625,1007) , , , P m (x, y ), m. ( Pm (x, y ) m). x - x (mo d ) j = , m = x- j = . ... 2M-2)v Ea b : y = x3 + a x + b 2 0 1 2 3 4 5 6 7 . ...
[
Текст
]
Ссылки http://www.intsys.msu.ru/magazine/archive/v11(1-4)/levin-171-184.pdf -- 134.1 Кб -- 18.02.2008
Похожие документы
Похожие документы
485. http://www.intsys.msu.ru/magazine/archive/v11(1-4)/geraskina-161-170.pdf
... 162 . ... c c b lh31 + 2b(nl - 1), k3 = 1 h3 = 1, 2- b h3 L(b, r, n, l, V ) = 2 + (b - 1)(n(l - k3 + 1) - h3 ) + 2l-k3 + nl - 3 , , 2 k3 = 1 + l - log 2 V - nl +1 (b - 1)n , 165 h3 = n - b h 3 V - nl - (2l-k3 - 1)(b - 1)n 2l-k3 (b - 1) l-k 3 + 1, = V - nl - (2 - 1)(b - 1)n - 2 l-k 3 (b - 1)(n - h3 ) + 1. d) r > 1 , , , . ... t V (t) q (t) = (q 111 (t), q 112 (t), . ... q l2 l-1 n (t)) , qij k (t) l-1 ij k t, 0 qij k (t) 2l-i b l2 n qij k (t) = V (t). 111 q ij k q ij k , prij k q = qij k . ...
[
Текст
]
Ссылки http://www.intsys.msu.ru/magazine/archive/v11(1-4)/geraskina-161-170.pdf -- 316.4 Кб -- 18.02.2008
Похожие документы
Похожие документы
486. http://www.intsys.msu.ru/magazine/archive/v11(1-4)/polovnikov-261-276.pdf
... c + x ? ? F x1 x2 . . . xi . . . w1 w2 wi w n + f xn h 1 a 1 ... a n c + ? -1 -1 1 + ? -1 -1 ? ? 1 + -1 +
[
Текст
]
Ссылки http://www.intsys.msu.ru/magazine/archive/v11(1-4)/polovnikov-261-276.pdf -- 1484.2 Кб -- 18.02.2008
Похожие документы
Похожие документы
487. http://www.intsys.msu.ru/staff/mironov/fuzzy.pdf
... b!a oDNIMIZNAIBOLEE WAVNYH PRIMEROWPOLNOJALGEBRY gEJTINGA QWLQETSQ MNOVESTWO n{\LEMENTNYH KORTEVEJ f(a1 ::: an ) j a1 2 M1 ::: an 2 Mn g GDE M1 ::: Mn { POLNYE LINEJNOUPORQDO^ENNYE MNOVESTWA (NAPRIMER, KAVDOE Mi QWLQETSQ OTREZKOM 0 1]), I SOOTNO ENIE (a1 ::: an) (b1 ::: bn) IMEET MESTO, ESLI I TOLXKO ESLI DLQ KAVDOGO i = 1 ::: n WYPOLNENO NERAWENSTWO ai bi dLQ KAVDOJ PARY a =(a1 ::: an) b =(b1 ::: bn) GDE ci = 1i ESLIOaiIWNbiM SLU^AE b WPR T O 4 !: ... MNOVESTWO u fsup(Q) ! ... ESLI MNOVESTWO u fa !...
[
Текст
]
Ссылки http://www.intsys.msu.ru/staff/mironov/fuzzy.pdf -- 308.8 Кб -- 10.01.2008
Похожие документы
Похожие документы
488. http://www.intsys.msu.ru/staff/mironov/godel.pdf
... 2], 3]), I UTWERVDAET, ^TO ESLI FORMALXNAQ SISTEMA QWLQETSQ NEPROTIWORE^IWOJ, I OBLADAET WOZMOVNOSTQMI DLQ ADEKWATNOGO WYRAVENIQ W NEJ UTWERVDENIJ ARIFMETIKI pEANO TO \TA TEORIQ NE QWLQETSQ POLNOJ, T.E. NE POZWOLQET POSTROITX WYWOD WSEH ISTINNYH UTWERVDENIJ. w \TOJ FORMULIROWKE EE DOKAZATELXSTWO OSNOWANO NA NUMERACII ... B ) GDE FUNKCIQ nat PRINIMAET NA SWOEM ARGUMENTE 8x ZNA^ENIE (u1 ::: un) { 1, ESLI ON QWLQETSQ STROKOJ IZ EDINIC ILI 2. { t IMEET WID 1 ? ... 2'. 2. pOSKOLXKU FORMULA ' ! ...
[
Текст
]
Ссылки http://www.intsys.msu.ru/staff/mironov/godel.pdf -- 206.5 Кб -- 04.12.2007
Похожие документы
Похожие документы
489. http://www.intsys.msu.ru/magazine/archive/v10(1-4)/andreev-695-760.pdf
... 1966, [111]) , - , n (log n) 5/2 3/2 log log n , n . ... 104]). 1984 . ... 109] . ... un , f2 )) (f , B ) = max (f , g ), g B f1 B1 f2 B 2 (f1 , f2 ) . ... AP <n> , LA (f ) 0 1 , 2 [1 , 2 ](A , A) LA (f ) min (a1 , a2 ), a1 , a2 > 0, 1 (0, f ) 2 (1, f ) - 2 (1, A \ {0}) , a1 a2 . ... logx log log x , M, LM , , 2 M, LM , , 1 M . ... n(l) = max n(); n(l) = min n(); n(l, k ) = max n(); ns (l) = max n(). , l 1 n(l) = l + 2, n(l) log 3 l, l + 1 ns (l) l + 2 l, s, [l] l 1, 1 s C l 2 . ... 4.7 ([115]). ...
[
Текст
]
Ссылки http://www.intsys.msu.ru/magazine/archive/v10(1-4)/andreev-695-760.pdf -- 370.4 Кб -- 20.06.2007
Похожие документы
Похожие документы
490. http://www.intsys.msu.ru/magazine/archive/v10(1-4)/buyevich-613-638.pdf
... th ) t t T Ek = Ek1 в. . ... a1 Ek1 , a2 Ek2 , t = min{t1 , t2 }. 619 (a1 , a2 ) = 0, a1 (1) = a2 (1), . ... E4 , (a1 , a2 , a3 , a4 , a5 , a6 , a7 , a8 , a9 , a10 , a11 , a12 ) (M ) , a1 = (01), a2 = (033), a3 = (032), a4 = (1000), a5 = (1001), a6 = (1003), a7 = (102), a8 = (21), a9 = (223), a10 = (2220), a11 = (221), T a12 = (3). ... 5] Slup eski J. Kryterium p etnosci wielowartosciowych systemow logiki zdan // Comptes rendus des seances de la So ciete des Sciences et des Lettres de Varsovie. ...
[
Текст
]
Ссылки http://www.intsys.msu.ru/magazine/archive/v10(1-4)/buyevich-613-638.pdf -- 225.0 Кб -- 20.06.2007
Похожие документы
Похожие документы
491. http://www.intsys.msu.ru/magazine/archive/v10(1-4)/kudryavtsev-565-602.pdf
... L G , 2- G. p = 2 G (y1 , y2 , y3 , y4 ), , y3 = 2-1 (y1 + y2 ), 2-1 576 . ... M Pa,l , Jpc (M ) = M . ... M - M , M Jpc (M ), A- M , M A Jpc (M ). ... t N , Elt = e(1)e2 . ... A h , ( , ) El A, i, j N1 i j (i , j ). t = max{t1 , t2 , . ... Zl ( ) , 1 ElT , T = 1, max{t1 , t2 , . ... u deg(u). ... 1966. [5] -. , k - k - // Asta Sci. natur. ... Asta Sci. natur. ... 10] Rosenb erg J. La structure des fonctions de plusiers variables sur un ensemble fini // Comptes Rendus Acad. ... 3. .: , 1995. . ...
[
Текст
]
Ссылки http://www.intsys.msu.ru/magazine/archive/v10(1-4)/kudryavtsev-565-602.pdf -- 289.2 Кб -- 20.06.2007
Похожие документы
Похожие документы
492. http://www.intsys.msu.ru/magazine/archive/v10(1-4)/talheim-303-342.pdf
... Bernhard Thalheim. ... OLTP-OLAP, play-out play-in . ... play-out . ... ER-, , ї sr ec i = ,i , , {o}, {o} |= ї h0 (s) = f h undef f 0, s = N U LL f (s) undef , s = N U LL f (s) (s) = , sum null 0 null 1 = sr ec 0,h 0 Id ,+ sum null undef = sr ec 0,h undef Id ,+ ; ,+ count = sr ec 0,h0 ,+ 1 count undef 1 = sr ec 0,h undef 1 SQL-, sum null 0 . ... CMO-), CMO- ( , 320 . ... Berlin: Springer, 2003. ... 5] Lenz H.-J., Thalheim B. Olap databases and aggregation functions // In 13th SSDBM 2001 (2001). ...
[
Текст
]
Ссылки http://www.intsys.msu.ru/magazine/archive/v10(1-4)/talheim-303-342.pdf -- 542.1 Кб -- 20.06.2007
Похожие документы
Похожие документы
493. http://www.intsys.msu.ru/magazine/archive/v10(1-4)/strogalov-189-270.pdf
... Internet , , ( ) . ... IDEA ( ) [1]. ... IDEA 1990 . ... Link&Link GmbH, . ... Link&Link GmbH , 1993ґ1995 . ... Link&Link GmbH 1993 2001 . IDEA ; IDEA 4.0 Professional. ... Windows IDEA , - , . ... XML, Access , SQL). ... Internet Internet IDEA: HTML- e-mail-. ... IDEA XML , . ... Link&Link GmbH (www.linkundlink.de). ... 1995 . ... IDEA for Windows . ... Windows IDEA for IDEA for Windows , IDEA , : , . ... A2 Q21 , Q22 Q23 , , . ... 1997, 1999, 2000 .) ... Dortmund: Link&Link Software GmbH, 1995. ...
[
Текст
]
Ссылки http://www.intsys.msu.ru/magazine/archive/v10(1-4)/strogalov-189-270.pdf -- 557.5 Кб -- 20.06.2007
Похожие документы
Похожие документы
494. http://www.intsys.msu.ru/magazine/archive/v10(1-4)/andreev-095-140.pdf
... T m , T log m - log log m. . ... aj1 , aj2 , . ... Qi1 ,i2 ,...,il , Bi1 , Bi2 , . ... 107 k = (a, b), b = 1 log 2 m, n 1. > 1, < 1 , (m1 , m2 ) n k (m1 ,m2 ) , 2 1 1 a = 2 log k (m1 m2 n) - 2 logk logk (m1 m2 n) - logk log k log k n, 1 k (m1 m2 n) - 2 log k log k (m1 m2 n) + log k log k log k n, T Mm |S (LT )| | ... 5). t 1 : lt = l t-1 ^ + 1, At (lt ) = y , kt (lt ) = k ; L (31) (32) (33) ^ (Kt , St , At ) = (K lt-1 t-1 -1 ,S t-1 ^ , At-1 ); St (lt ) = min y . ... k 2 , {Fck , Fst , Fin } n . ...
[
Текст
]
Ссылки http://www.intsys.msu.ru/magazine/archive/v10(1-4)/andreev-095-140.pdf -- 320.6 Кб -- 20.06.2007
Похожие документы
Похожие документы
495. http://www.intsys.msu.ru/magazine/archive/v9(1-4)/uvarov-485-504.pdf
... L(n, l) = max min v (E V ,Q V :|Q|=n, Q :|Q |=l E V ,Q ). ... l-m+1 ), 2 . ... jp , p 1 , : 1) Q Rj0 , R ; 2) P Q ji j 1 Q Q ji+1 =P Q ji +1 =P Q ji +2 = .. ... p PjQ E s s s 1 2 Es = {j1 , . ... PjQ+1 PjQ , k k k : P Q jk+1 =P Q1 jk+1 .. ... qm }, dk+1 = min{i : q Qi \ (Q1 . ... ql1 }, Q2 = {ql1 +1 , . ...
[
Текст
]
Ссылки http://www.intsys.msu.ru/magazine/archive/v9(1-4)/uvarov-485-504.pdf -- 155.6 Кб -- 12.05.2006
Похожие документы
Похожие документы
496. http://www.intsys.msu.ru/magazine/archive/v9(1-4)/maylybayeva-561-562.pdf
PIR- . ... an-1 ), b = (b0 , . ... R e(R) 562 . ... PIR- , j [k ] Aj x. PIR- L. L2 = {I L : e(I ) 2}. ... 1] Chor B., Goldreich O., Kushilevitz E., Sudan M. Private information retrieval // Pro c. of the 36th Annu. ... 1995. ... 1998. ... 23ґ24 2003 . 393ґ395. ... PIR- // XIV . 23ґ25 2005 . ...
[
Текст
]
Ссылки http://www.intsys.msu.ru/magazine/archive/v9(1-4)/maylybayeva-561-562.pdf -- 59.7 Кб -- 11.05.2006
Похожие документы
Похожие документы
497. http://www.intsys.msu.ru/magazine/archive/v9(1-4)/letunovskiy-457-468.pdf
... xn-1 ) = f (x1 , x1 , x2 , . ... Li , i. i = j Aij K a(1)a(2) . ... A Aij , A(Aij ) Aij , , i j . ... Mi Si {0 } / ci : E 2 N, ci ( ) = max {t( , )| ... 1 = 0 , 2 = gi1 (1 ), 3 = gi2 (2 ), . ... gi2 (gi1 (g (0 ))) . ... 151, 3. 1963. ... 1964. 155, 1. ...
[
Текст
]
Ссылки http://www.intsys.msu.ru/magazine/archive/v9(1-4)/letunovskiy-457-468.pdf -- 113.2 Кб -- 09.05.2006
Похожие документы
Похожие документы
498. http://www.intsys.msu.ru/magazine/archive/v9(1-4)/kirnasov-433-444.pdf
... Yj1 ,j2 ,...,jd , 0 : 1) v 1 v d (qjv ,m1 , ) (qjv ,m2 , ) m1 m2 ; 2) z = jv v , 1 v d, m1 , m2 (qz ,m1 , ) (qz ,m2 , ) m1 m2 , , (q z ,m , ) (qz ,m , ) z = z ; v1 d, v2 , 3) v1 , 1 1 v2 d, (qjv1 ,m1 , ) (qjv2 ,m2 , ) m1 m2 . ... Yj1 ,j2 ,...,jd Pj1 ,j2 ,...,jd . ... P j j1 ,j2 ,...j d 2 k0 l 0 r n , P j Er \{j1 ,j2 ,...jd } j j1 ,j2 ,...j 2 (k0 r l1 ) nr-d r -d 2 (k0 r l0 ) nr-d r -d P j1 ,j2 ,...j d = d . ... d , Y j1 ,...,jd Sjt = , , Yj1 ,...,jd Sjt h Sjt (qjt ,h ) = q . ... 2 (1966). ...
[
Текст
]
Ссылки http://www.intsys.msu.ru/magazine/archive/v9(1-4)/kirnasov-433-444.pdf -- 124.8 Кб -- 09.05.2006
Похожие документы
Похожие документы
499. http://www.intsys.msu.ru/magazine/archive/v9(1-4)/lu-yun-565-571.pdf
C-tutor (), . ... KPT = {UNIT_ID, KPV, DATE} . ... procedure create_test_paper (unit_id: integer; KPT: prof_table_type; n_questions: integer; delta_w: integer) { unit_id , = n, max(|e - w|) delta_w} begin { 1: , , e} KL NULL; { KL} for ( k_no dei Unitu_id ) begin find KPVi in KPT; ei KPVi в W; if ei 0,85 then { ei > 0,85 , } insert k_no dei into KL, ei ; end; { 2: , , w e, |e - w| delta_w} count 1; { } testpap er := NULL; p := KL head; while (count < n_questions) and (p = NULL) begin e , p; Qcount . ...
[
Текст
]
Ссылки http://www.intsys.msu.ru/magazine/archive/v9(1-4)/lu-yun-565-571.pdf -- 329.6 Кб -- 04.05.2006
Похожие документы
Похожие документы
500. http://www.intsys.msu.ru/magazine/archive/v9(1-4)/blaivas-347-362.pdf
... k - (k = o(2n )) n- (n = o(2k )) ? , (k / log 2 k )log2 4/3 , 1 n , k . ... log2 k k Di (n, k ) Di (n, k ) > D i-1 1 (n, k ) 1 - o ? log 2 k 1 log 2 k i 2 log 2 log2 k 1- k 2 log 2 log2 k k 2 i 2 i-1 > > 1-o ? > 1- i > k log2 (kn) 1 1-o ? log2 k 2 log 2 log2 k 1- k 1 i log 2 k - log2 log2 (k n). ... imax =] log 2 k - log2 log2 k + log2 9[. ... 9 2 , n , k ? T 1(n, k ) 2 log 2 log2 k 1- exp (k ) + 10 Ї k log Ї 66 4 23 k log2 k log 4 23 + k log 2 k log 4 23 Ї 2 Ї log2 log2 k 66 exp(k ) . ...
[
Текст
]
Ссылки http://www.intsys.msu.ru/magazine/archive/v9(1-4)/blaivas-347-362.pdf -- 149.4 Кб -- 01.05.2006
Похожие документы
Похожие документы