MONAA: a Tool for Timed Pattern Matching with Automata-Based Acceleration
|
|
- Paweł Olejniczak
- 5 lat temu
- Przeglądów:
Transkrypt
1 MONAA: a Tool for Timed Pattern Matching with Automata-Based Acceleration Masaki Waga 1, Ichiro Hasuo 1, and Kohei Suenaga 2 National Institute of Informatics 1 and Kyoto University 2 10 Apr. 2018, MT-CPS 2018 The authors are supported by ERATO HASUO Metamathematics for Systems Design Project (No. JPMJER1603), JST, Grants-in-Aid No. 15KT0012, JSPS, and JST PRESTO Grant Number JPMJPR15E5, Japan. 1
2 Timed Pattern Matching Input Time-series data (Logs of a car/ a robot) e.g., The gear of a car is high at 0.1s, at 0.3s, Timed Words high high (Sequence of events with timestamps) w = t Real-time spec. (Spec. useful for debugging) Output [Ulus et al., FORMATS 14] e.g., The gear of a car changes too frequently high,x<1 A = s 0 Timed Automata [Alur & Dill, TCS 94] The intervals where the spec. is satisfied in the data e.g., The gear M(w, changes A) ={(t, too frequently t 0 ) w (t,t0 in ) 20.3s-0.7s L(A)} $,x<1 start s 1 s 2 s 3,x<1 2
3 MONAA Overview Command Line Interface (MONAA) Command line tool for timed pattern matching We can inspect a log The log is read lazily online monitor Text-based I/O C++ API (libmonaa) Execute timed pattern matching in a user s code Accelerated by Skipping [Waga et al., FORMATS 17] I/O by function/class 3
4 Outline 1. Algorithm in MONAA Skipping for timed pattern matching [Waga et al., FORMATS 17] 2. Frontend of MONAA Command line interface (CLI) / C++ API 3. Experiments 4
5 Skipping for String Matching STRONG_STRING STRING Find STRING (pattern) STRING from STRONG_STRING (target) STRING Brute-Force Search KMP Search [Knuth+, SIAM J. Comput. 77] S T R Match until the 3rd char. Table for length 3 partial match I N G * S T R I N * * S T R I * * * S T R 5 STRONG_STRING STRING STRING STRING STRING STRING Skip 2 trials!!
6 <latexit sha1_base64="loncgrluure2kisvschqhwwjl5g=">aaacnhicbzdlssqwfizt79bbqes3wufu0kh1gi4h3qhurnbumjyhzzwzg2laklnhkpnqbnwqnyk4umstz2cmduhtqodn+89jcv4olckg5z05i6nj4xotu9puzozc/ejlcencjjnm0osjtprvxaxioacjaivcprpyhem4jg6oh/7llwgjenwo/rtcmpwu6aro0kj25tsiocduzu0dzuaidysilw/lq/mbqediege2vnqurfthgbaxhfv+phua6ptt7urvq3lf0b/cl0wvlnvovx6ctskzgbryyyxp+v6kyc40ci5h4aazgztxg9adlpwkxwdcvfh6qncs6dbuou1rsav6fsjnsth9olkdmcnr89sbwv+8vobdwzaxks0qfp96qjtjigkdjkg7qgnh2beccs3sxym/zppxtdm7ngt/98p/xcvozbcrn+1v60dlhfnkhaysdekta1inj6rbmosto/jixsirc+88o2/o+1frifpoljmf5xx8aqyzpfk=</latexit> <latexit sha1_base64="loncgrluure2kisvschqhwwjl5g=">aaacnhicbzdlssqwfizt79bbqes3wufu0kh1gi4h3qhurnbumjyhzzwzg2laklnhkpnqbnwqnyk4umstz2cmduhtqodn+89jcv4olckg5z05i6nj4xotu9puzozc/ejlcencjjnm0osjtprvxaxioacjaivcprpyhem4jg6oh/7llwgjenwo/rtcmpwu6aro0kj25tsiocduzu0dzuaidysilw/lq/mbqediege2vnqurfthgbaxhfv+phua6ptt7urvq3lf0b/cl0wvlnvovx6ctskzgbryyyxp+v6kyc40ci5h4aazgztxg9adlpwkxwdcvfh6qncs6dbuou1rsav6fsjnsth9olkdmcnr89sbwv+8vobdwzaxks0qfp96qjtjigkdjkg7qgnh2beccs3sxym/zppxtdm7ngt/98p/xcvozbcrn+1v60dlhfnkhaysdekta1inj6rbmosto/jixsirc+88o2/o+1frifpoljmf5xx8aqyzpfk=</latexit> <latexit sha1_base64="loncgrluure2kisvschqhwwjl5g=">aaacnhicbzdlssqwfizt79bbqes3wufu0kh1gi4h3qhurnbumjyhzzwzg2laklnhkpnqbnwqnyk4umstz2cmduhtqodn+89jcv4olckg5z05i6nj4xotu9puzozc/ejlcencjjnm0osjtprvxaxioacjaivcprpyhem4jg6oh/7llwgjenwo/rtcmpwu6aro0kj25tsiocduzu0dzuaidysilw/lq/mbqediege2vnqurfthgbaxhfv+phua6ptt7urvq3lf0b/cl0wvlnvovx6ctskzgbryyyxp+v6kyc40ci5h4aazgztxg9adlpwkxwdcvfh6qncs6dbuou1rsav6fsjnsth9olkdmcnr89sbwv+8vobdwzaxks0qfp96qjtjigkdjkg7qgnh2beccs3sxym/zppxtdm7ngt/98p/xcvozbcrn+1v60dlhfnkhaysdekta1inj6rbmosto/jixsirc+88o2/o+1frifpoljmf5xx8aqyzpfk=</latexit> <latexit sha1_base64="loncgrluure2kisvschqhwwjl5g=">aaacnhicbzdlssqwfizt79bbqes3wufu0kh1gi4h3qhurnbumjyhzzwzg2laklnhkpnqbnwqnyk4umstz2cmduhtqodn+89jcv4olckg5z05i6nj4xotu9puzozc/ejlcencjjnm0osjtprvxaxioacjaivcprpyhem4jg6oh/7llwgjenwo/rtcmpwu6aro0kj25tsiocduzu0dzuaidysilw/lq/mbqediege2vnqurfthgbaxhfv+phua6ptt7urvq3lf0b/cl0wvlnvovx6ctskzgbryyyxp+v6kyc40ci5h4aazgztxg9adlpwkxwdcvfh6qncs6dbuou1rsav6fsjnsth9olkdmcnr89sbwv+8vobdwzaxks0qfp96qjtjigkdjkg7qgnh2beccs3sxym/zppxtdm7ngt/98p/xcvozbcrn+1v60dlhfnkhaysdekta1inj6rbmosto/jixsirc+88o2/o+1frifpoljmf5xx8aqyzpfk=</latexit> <latexit sha1_base64="8br93aflhb56zwn2tfrpjlld5z8=">aaacnhicbzbbsxtbfmdny2t1rrr12mvquiwqlx0pxkpyi+bfwaiqxcls5cuomz1dzt4kycmh8uih8skfhiritz/bybqh1vtbwj/f/72zef8kv9jigp70gksfpi5/wln11z6vb2w2t7yvbvyyat2rqcxcj9yckhp6kfhbdw6ap4mcq2tyy+5f3ykxmtmxom0htvlyy5euhb0ane+jbmzsl8ldywc+0khq2g87ycd2osjh3qq0w6dbyqglk7spneywpt8cpaynb81wgirv0uxbateidz0nmg/rmbnfchqf4tb2wzhjxhkduiiy+vfhiediwsfqd1lzfgxcvkvp6ddhhnsugxc00or+pvhy1nppmrjoloonfe/n4f+8fogjw7iuoi8qthh7afqoihmdj0ih0obanxwccypdx6m44yylddn7lgt2fuvfcxkqmbfx+ffw0xedxwr5qr6snmgks47ictkjpslihxkkv8mtd+/98p69l7fwhlfp7jb/yvvzcqfnpfo=</latexit> <latexit sha1_base64="8br93aflhb56zwn2tfrpjlld5z8=">aaacnhicbzbbsxtbfmdny2t1rrr12mvquiwqlx0pxkpyi+bfwaiqxcls5cuomz1dzt4kycmh8uih8skfhiritz/bybqh1vtbwj/f/72zef8kv9jigp70gksfpi5/wln11z6vb2w2t7yvbvyyat2rqcxcj9yckhp6kfhbdw6ap4mcq2tyy+5f3ykxmtmxom0htvlyy5euhb0ane+jbmzsl8ldywc+0khq2g87ycd2osjh3qq0w6dbyqglk7spneywpt8cpaynb81wgirv0uxbateidz0nmg/rmbnfchqf4tb2wzhjxhkduiiy+vfhiediwsfqd1lzfgxcvkvp6ddhhnsugxc00or+pvhy1nppmrjoloonfe/n4f+8fogjw7iuoi8qthh7afqoihmdj0ih0obanxwccypdx6m44yylddn7lgt2fuvfcxkqmbfx+ffw0xedxwr5qr6snmgks47ictkjpslihxkkv8mtd+/98p69l7fwhlfp7jb/yvvzcqfnpfo=</latexit> <latexit sha1_base64="8br93aflhb56zwn2tfrpjlld5z8=">aaacnhicbzbbsxtbfmdny2t1rrr12mvquiwqlx0pxkpyi+bfwaiqxcls5cuomz1dzt4kycmh8uih8skfhiritz/bybqh1vtbwj/f/72zef8kv9jigp70gksfpi5/wln11z6vb2w2t7yvbvyyat2rqcxcj9yckhp6kfhbdw6ap4mcq2tyy+5f3ykxmtmxom0htvlyy5euhb0ane+jbmzsl8ldywc+0khq2g87ycd2osjh3qq0w6dbyqglk7spneywpt8cpaynb81wgirv0uxbateidz0nmg/rmbnfchqf4tb2wzhjxhkduiiy+vfhiediwsfqd1lzfgxcvkvp6ddhhnsugxc00or+pvhy1nppmrjoloonfe/n4f+8fogjw7iuoi8qthh7afqoihmdj0ih0obanxwccypdx6m44yylddn7lgt2fuvfcxkqmbfx+ffw0xedxwr5qr6snmgks47ictkjpslihxkkv8mtd+/98p69l7fwhlfp7jb/yvvzcqfnpfo=</latexit> <latexit sha1_base64="8br93aflhb56zwn2tfrpjlld5z8=">aaacnhicbzbbsxtbfmdny2t1rrr12mvquiwqlx0pxkpyi+bfwaiqxcls5cuomz1dzt4kycmh8uih8skfhiritz/bybqh1vtbwj/f/72zef8kv9jigp70gksfpi5/wln11z6vb2w2t7yvbvyyat2rqcxcj9yckhp6kfhbdw6ap4mcq2tyy+5f3ykxmtmxom0htvlyy5euhb0ane+jbmzsl8ldywc+0khq2g87ycd2osjh3qq0w6dbyqglk7spneywpt8cpaynb81wgirv0uxbateidz0nmg/rmbnfchqf4tb2wzhjxhkduiiy+vfhiediwsfqd1lzfgxcvkvp6ddhhnsugxc00or+pvhy1nppmrjoloonfe/n4f+8fogjw7iuoi8qthh7afqoihmdj0ih0obanxwccypdx6m44yylddn7lgt2fuvfcxkqmbfx+ffw0xedxwr5qr6snmgks47ictkjpslihxkkv8mtd+/98p69l7fwhlfp7jb/yvvzcqfnpfo=</latexit> <latexit sha1_base64="g8/sgkr0wuuzx9mbyjbujor1qve=">aaacnnicbzbbt9swfmcdbhslbhtjymwimgcpi5xueztwcogcxcqkse1uoc5lseo4kf0yqyr6qxbz59itfw6gadd9bnyqw4a9ydjfv/97tt8/kzw0ynjcw3mxuvby1fprf2pzzdutzrv3f7aojichkfrhrhjuquknq5so4ko0wpnewwuypv76l9/bwfnoc5yveod8omumbuehxp3tkigj1lvwd9i5jzssmo5y8knhgi8huetjxop2wxdyc4n+3kcp2mjeeobhonn2ftzpsoa1rz+lsbvd0tbzupmrsgtr5abrkg7tkgqlxju3kiwcur9vfkoupnwciyc1z8hgdbp2nh5wjkvzydzrsbv670tnc2tneei6c47x9qm3hp/zrhvmx+na6rjc0olhoaxsfau6zjcm0obanxoccypdx6m45oylden7lotw6crpxuu/cfkqfvvchry1caythbjl9klidsmanjazmisc/calckvuvj/ejffb+/pquuk1m9vkuxl/7wgykaz0</latexit> <latexit sha1_base64="g8/sgkr0wuuzx9mbyjbujor1qve=">aaacnnicbzbbt9swfmcdbhslbhtjymwimgcpi5xueztwcogcxcqkse1uoc5lseo4kf0yqyr6qxbz59itfw6gadd9bnyqw4a9ydjfv/97tt8/kzw0ynjcw3mxuvby1fprf2pzzdutzrv3f7aojichkfrhrhjuquknq5so4ko0wpnewwuypv76l9/bwfnoc5yveod8omumbuehxp3tkigj1lvwd9i5jzssmo5y8knhgi8huetjxop2wxdyc4n+3kcp2mjeeobhonn2ftzpsoa1rz+lsbvd0tbzupmrsgtr5abrkg7tkgqlxju3kiwcur9vfkoupnwciyc1z8hgdbp2nh5wjkvzydzrsbv670tnc2tneei6c47x9qm3hp/zrhvmx+na6rjc0olhoaxsfau6zjcm0obanxoccypdx6m45oylden7lotw6crpxuu/cfkqfvvchry1caythbjl9klidsmanjazmisc/calckvuvj/ejffb+/pquuk1m9vkuxl/7wgykaz0</latexit> <latexit sha1_base64="g8/sgkr0wuuzx9mbyjbujor1qve=">aaacnnicbzbbt9swfmcdbhslbhtjymwimgcpi5xueztwcogcxcqkse1uoc5lseo4kf0yqyr6qxbz59itfw6gadd9bnyqw4a9ydjfv/97tt8/kzw0ynjcw3mxuvby1fprf2pzzdutzrv3f7aojichkfrhrhjuquknq5so4ko0wpnewwuypv76l9/bwfnoc5yveod8omumbuehxp3tkigj1lvwd9i5jzssmo5y8knhgi8huetjxop2wxdyc4n+3kcp2mjeeobhonn2ftzpsoa1rz+lsbvd0tbzupmrsgtr5abrkg7tkgqlxju3kiwcur9vfkoupnwciyc1z8hgdbp2nh5wjkvzydzrsbv670tnc2tneei6c47x9qm3hp/zrhvmx+na6rjc0olhoaxsfau6zjcm0obanxoccypdx6m45oylden7lotw6crpxuu/cfkqfvvchry1caythbjl9klidsmanjazmisc/calckvuvj/ejffb+/pquuk1m9vkuxl/7wgykaz0</latexit> <latexit sha1_base64="g8/sgkr0wuuzx9mbyjbujor1qve=">aaacnnicbzbbt9swfmcdbhslbhtjymwimgcpi5xueztwcogcxcqkse1uoc5lseo4kf0yqyr6qxbz59itfw6gadd9bnyqw4a9ydjfv/97tt8/kzw0ynjcw3mxuvby1fprf2pzzdutzrv3f7aojichkfrhrhjuquknq5so4ko0wpnewwuypv76l9/bwfnoc5yveod8omumbuehxp3tkigj1lvwd9i5jzssmo5y8knhgi8huetjxop2wxdyc4n+3kcp2mjeeobhonn2ftzpsoa1rz+lsbvd0tbzupmrsgtr5abrkg7tkgqlxju3kiwcur9vfkoupnwciyc1z8hgdbp2nh5wjkvzydzrsbv670tnc2tneei6c47x9qm3hp/zrhvmx+na6rjc0olhoaxsfau6zjcm0obanxoccypdx6m45oylden7lotw6crpxuu/cfkqfvvchry1caythbjl9klidsmanjazmisc/calckvuvj/ejffb+/pquuk1m9vkuxl/7wgykaz0</latexit> Find from Brute-Force Algorithm for Timed Pattern Matching w = 1st trial 2nd trial A = high,x<1 start s $,x<1 0 s 1 s 2 s 3 high s 3,x<1 high s 0 s 1 s 2 s 1 s 2 s 0 8 >< t 2 [0, 0.1) t >: 0 2 (0.3, 0.5] t 0 t 2 (0, 1) s 3 (pattern) (target) 1.2 t 8 >< t 2 [0, 0.1) t >: 0 2 (0.7, 1.1] t 0 t 2 (0, 1) 3rd trial s 0 s 1 s 2 s 1 8 >< t 2 [0.3, 0.5) s 3 t >: 0 2 (0.7, 1.2] M. t 0 Waga t 2 (0, (NII) 1) 6
7 <latexit sha1_base64="loncgrluure2kisvschqhwwjl5g=">aaacnhicbzdlssqwfizt79bbqes3wufu0kh1gi4h3qhurnbumjyhzzwzg2laklnhkpnqbnwqnyk4umstz2cmduhtqodn+89jcv4olckg5z05i6nj4xotu9puzozc/ejlcencjjnm0osjtprvxaxioacjaivcprpyhem4jg6oh/7llwgjenwo/rtcmpwu6aro0kj25tsiocduzu0dzuaidysilw/lq/mbqediege2vnqurfthgbaxhfv+phua6ptt7urvq3lf0b/cl0wvlnvovx6ctskzgbryyyxp+v6kyc40ci5h4aazgztxg9adlpwkxwdcvfh6qncs6dbuou1rsav6fsjnsth9olkdmcnr89sbwv+8vobdwzaxks0qfp96qjtjigkdjkg7qgnh2beccs3sxym/zppxtdm7ngt/98p/xcvozbcrn+1v60dlhfnkhaysdekta1inj6rbmosto/jixsirc+88o2/o+1frifpoljmf5xx8aqyzpfk=</latexit> <latexit sha1_base64="loncgrluure2kisvschqhwwjl5g=">aaacnhicbzdlssqwfizt79bbqes3wufu0kh1gi4h3qhurnbumjyhzzwzg2laklnhkpnqbnwqnyk4umstz2cmduhtqodn+89jcv4olckg5z05i6nj4xotu9puzozc/ejlcencjjnm0osjtprvxaxioacjaivcprpyhem4jg6oh/7llwgjenwo/rtcmpwu6aro0kj25tsiocduzu0dzuaidysilw/lq/mbqediege2vnqurfthgbaxhfv+phua6ptt7urvq3lf0b/cl0wvlnvovx6ctskzgbryyyxp+v6kyc40ci5h4aazgztxg9adlpwkxwdcvfh6qncs6dbuou1rsav6fsjnsth9olkdmcnr89sbwv+8vobdwzaxks0qfp96qjtjigkdjkg7qgnh2beccs3sxym/zppxtdm7ngt/98p/xcvozbcrn+1v60dlhfnkhaysdekta1inj6rbmosto/jixsirc+88o2/o+1frifpoljmf5xx8aqyzpfk=</latexit> <latexit sha1_base64="loncgrluure2kisvschqhwwjl5g=">aaacnhicbzdlssqwfizt79bbqes3wufu0kh1gi4h3qhurnbumjyhzzwzg2laklnhkpnqbnwqnyk4umstz2cmduhtqodn+89jcv4olckg5z05i6nj4xotu9puzozc/ejlcencjjnm0osjtprvxaxioacjaivcprpyhem4jg6oh/7llwgjenwo/rtcmpwu6aro0kj25tsiocduzu0dzuaidysilw/lq/mbqediege2vnqurfthgbaxhfv+phua6ptt7urvq3lf0b/cl0wvlnvovx6ctskzgbryyyxp+v6kyc40ci5h4aazgztxg9adlpwkxwdcvfh6qncs6dbuou1rsav6fsjnsth9olkdmcnr89sbwv+8vobdwzaxks0qfp96qjtjigkdjkg7qgnh2beccs3sxym/zppxtdm7ngt/98p/xcvozbcrn+1v60dlhfnkhaysdekta1inj6rbmosto/jixsirc+88o2/o+1frifpoljmf5xx8aqyzpfk=</latexit> <latexit sha1_base64="loncgrluure2kisvschqhwwjl5g=">aaacnhicbzdlssqwfizt79bbqes3wufu0kh1gi4h3qhurnbumjyhzzwzg2laklnhkpnqbnwqnyk4umstz2cmduhtqodn+89jcv4olckg5z05i6nj4xotu9puzozc/ejlcencjjnm0osjtprvxaxioacjaivcprpyhem4jg6oh/7llwgjenwo/rtcmpwu6aro0kj25tsiocduzu0dzuaidysilw/lq/mbqediege2vnqurfthgbaxhfv+phua6ptt7urvq3lf0b/cl0wvlnvovx6ctskzgbryyyxp+v6kyc40ci5h4aazgztxg9adlpwkxwdcvfh6qncs6dbuou1rsav6fsjnsth9olkdmcnr89sbwv+8vobdwzaxks0qfp96qjtjigkdjkg7qgnh2beccs3sxym/zppxtdm7ngt/98p/xcvozbcrn+1v60dlhfnkhaysdekta1inj6rbmosto/jixsirc+88o2/o+1frifpoljmf5xx8aqyzpfk=</latexit> <latexit sha1_base64="8br93aflhb56zwn2tfrpjlld5z8=">aaacnhicbzbbsxtbfmdny2t1rrr12mvquiwqlx0pxkpyi+bfwaiqxcls5cuomz1dzt4kycmh8uih8skfhiritz/bybqh1vtbwj/f/72zef8kv9jigp70gksfpi5/wln11z6vb2w2t7yvbvyyat2rqcxcj9yckhp6kfhbdw6ap4mcq2tyy+5f3ykxmtmxom0htvlyy5euhb0ane+jbmzsl8ldywc+0khq2g87ycd2osjh3qq0w6dbyqglk7spneywpt8cpaynb81wgirv0uxbateidz0nmg/rmbnfchqf4tb2wzhjxhkduiiy+vfhiediwsfqd1lzfgxcvkvp6ddhhnsugxc00or+pvhy1nppmrjoloonfe/n4f+8fogjw7iuoi8qthh7afqoihmdj0ih0obanxwccypdx6m44yylddn7lgt2fuvfcxkqmbfx+ffw0xedxwr5qr6snmgks47ictkjpslihxkkv8mtd+/98p69l7fwhlfp7jb/yvvzcqfnpfo=</latexit> <latexit sha1_base64="8br93aflhb56zwn2tfrpjlld5z8=">aaacnhicbzbbsxtbfmdny2t1rrr12mvquiwqlx0pxkpyi+bfwaiqxcls5cuomz1dzt4kycmh8uih8skfhiritz/bybqh1vtbwj/f/72zef8kv9jigp70gksfpi5/wln11z6vb2w2t7yvbvyyat2rqcxcj9yckhp6kfhbdw6ap4mcq2tyy+5f3ykxmtmxom0htvlyy5euhb0ane+jbmzsl8ldywc+0khq2g87ycd2osjh3qq0w6dbyqglk7spneywpt8cpaynb81wgirv0uxbateidz0nmg/rmbnfchqf4tb2wzhjxhkduiiy+vfhiediwsfqd1lzfgxcvkvp6ddhhnsugxc00or+pvhy1nppmrjoloonfe/n4f+8fogjw7iuoi8qthh7afqoihmdj0ih0obanxwccypdx6m44yylddn7lgt2fuvfcxkqmbfx+ffw0xedxwr5qr6snmgks47ictkjpslihxkkv8mtd+/98p69l7fwhlfp7jb/yvvzcqfnpfo=</latexit> <latexit sha1_base64="8br93aflhb56zwn2tfrpjlld5z8=">aaacnhicbzbbsxtbfmdny2t1rrr12mvquiwqlx0pxkpyi+bfwaiqxcls5cuomz1dzt4kycmh8uih8skfhiritz/bybqh1vtbwj/f/72zef8kv9jigp70gksfpi5/wln11z6vb2w2t7yvbvyyat2rqcxcj9yckhp6kfhbdw6ap4mcq2tyy+5f3ykxmtmxom0htvlyy5euhb0ane+jbmzsl8ldywc+0khq2g87ycd2osjh3qq0w6dbyqglk7spneywpt8cpaynb81wgirv0uxbateidz0nmg/rmbnfchqf4tb2wzhjxhkduiiy+vfhiediwsfqd1lzfgxcvkvp6ddhhnsugxc00or+pvhy1nppmrjoloonfe/n4f+8fogjw7iuoi8qthh7afqoihmdj0ih0obanxwccypdx6m44yylddn7lgt2fuvfcxkqmbfx+ffw0xedxwr5qr6snmgks47ictkjpslihxkkv8mtd+/98p69l7fwhlfp7jb/yvvzcqfnpfo=</latexit> <latexit sha1_base64="8br93aflhb56zwn2tfrpjlld5z8=">aaacnhicbzbbsxtbfmdny2t1rrr12mvquiwqlx0pxkpyi+bfwaiqxcls5cuomz1dzt4kycmh8uih8skfhiritz/bybqh1vtbwj/f/72zef8kv9jigp70gksfpi5/wln11z6vb2w2t7yvbvyyat2rqcxcj9yckhp6kfhbdw6ap4mcq2tyy+5f3ykxmtmxom0htvlyy5euhb0ane+jbmzsl8ldywc+0khq2g87ycd2osjh3qq0w6dbyqglk7spneywpt8cpaynb81wgirv0uxbateidz0nmg/rmbnfchqf4tb2wzhjxhkduiiy+vfhiediwsfqd1lzfgxcvkvp6ddhhnsugxc00or+pvhy1nppmrjoloonfe/n4f+8fogjw7iuoi8qthh7afqoihmdj0ih0obanxwccypdx6m44yylddn7lgt2fuvfcxkqmbfx+ffw0xedxwr5qr6snmgks47ictkjpslihxkkv8mtd+/98p69l7fwhlfp7jb/yvvzcqfnpfo=</latexit> <latexit sha1_base64="g8/sgkr0wuuzx9mbyjbujor1qve=">aaacnnicbzbbt9swfmcdbhslbhtjymwimgcpi5xueztwcogcxcqkse1uoc5lseo4kf0yqyr6qxbz59itfw6gadd9bnyqw4a9ydjfv/97tt8/kzw0ynjcw3mxuvby1fprf2pzzdutzrv3f7aojichkfrhrhjuquknq5so4ko0wpnewwuypv76l9/bwfnoc5yveod8omumbuehxp3tkigj1lvwd9i5jzssmo5y8knhgi8huetjxop2wxdyc4n+3kcp2mjeeobhonn2ftzpsoa1rz+lsbvd0tbzupmrsgtr5abrkg7tkgqlxju3kiwcur9vfkoupnwciyc1z8hgdbp2nh5wjkvzydzrsbv670tnc2tneei6c47x9qm3hp/zrhvmx+na6rjc0olhoaxsfau6zjcm0obanxoccypdx6m45oylden7lotw6crpxuu/cfkqfvvchry1caythbjl9klidsmanjazmisc/calckvuvj/ejffb+/pquuk1m9vkuxl/7wgykaz0</latexit> <latexit sha1_base64="g8/sgkr0wuuzx9mbyjbujor1qve=">aaacnnicbzbbt9swfmcdbhslbhtjymwimgcpi5xueztwcogcxcqkse1uoc5lseo4kf0yqyr6qxbz59itfw6gadd9bnyqw4a9ydjfv/97tt8/kzw0ynjcw3mxuvby1fprf2pzzdutzrv3f7aojichkfrhrhjuquknq5so4ko0wpnewwuypv76l9/bwfnoc5yveod8omumbuehxp3tkigj1lvwd9i5jzssmo5y8knhgi8huetjxop2wxdyc4n+3kcp2mjeeobhonn2ftzpsoa1rz+lsbvd0tbzupmrsgtr5abrkg7tkgqlxju3kiwcur9vfkoupnwciyc1z8hgdbp2nh5wjkvzydzrsbv670tnc2tneei6c47x9qm3hp/zrhvmx+na6rjc0olhoaxsfau6zjcm0obanxoccypdx6m45oylden7lotw6crpxuu/cfkqfvvchry1caythbjl9klidsmanjazmisc/calckvuvj/ejffb+/pquuk1m9vkuxl/7wgykaz0</latexit> <latexit sha1_base64="g8/sgkr0wuuzx9mbyjbujor1qve=">aaacnnicbzbbt9swfmcdbhslbhtjymwimgcpi5xueztwcogcxcqkse1uoc5lseo4kf0yqyr6qxbz59itfw6gadd9bnyqw4a9ydjfv/97tt8/kzw0ynjcw3mxuvby1fprf2pzzdutzrv3f7aojichkfrhrhjuquknq5so4ko0wpnewwuypv76l9/bwfnoc5yveod8omumbuehxp3tkigj1lvwd9i5jzssmo5y8knhgi8huetjxop2wxdyc4n+3kcp2mjeeobhonn2ftzpsoa1rz+lsbvd0tbzupmrsgtr5abrkg7tkgqlxju3kiwcur9vfkoupnwciyc1z8hgdbp2nh5wjkvzydzrsbv670tnc2tneei6c47x9qm3hp/zrhvmx+na6rjc0olhoaxsfau6zjcm0obanxoccypdx6m45oylden7lotw6crpxuu/cfkqfvvchry1caythbjl9klidsmanjazmisc/calckvuvj/ejffb+/pquuk1m9vkuxl/7wgykaz0</latexit> <latexit sha1_base64="g8/sgkr0wuuzx9mbyjbujor1qve=">aaacnnicbzbbt9swfmcdbhslbhtjymwimgcpi5xueztwcogcxcqkse1uoc5lseo4kf0yqyr6qxbz59itfw6gadd9bnyqw4a9ydjfv/97tt8/kzw0ynjcw3mxuvby1fprf2pzzdutzrv3f7aojichkfrhrhjuquknq5so4ko0wpnewwuypv76l9/bwfnoc5yveod8omumbuehxp3tkigj1lvwd9i5jzssmo5y8knhgi8huetjxop2wxdyc4n+3kcp2mjeeobhonn2ftzpsoa1rz+lsbvd0tbzupmrsgtr5abrkg7tkgqlxju3kiwcur9vfkoupnwciyc1z8hgdbp2nh5wjkvzydzrsbv670tnc2tneei6c47x9qm3hp/zrhvmx+na6rjc0olhoaxsfau6zjcm0obanxoccypdx6m45oylden7lotw6crpxuu/cfkqfvvchry1caythbjl9klidsmanjazmisc/calckvuvj/ejffb+/pquuk1m9vkuxl/7wgykaz0</latexit> Find from KMP-Style Algorithm for Timed Pattern Matching w = 1st trial Skip 1 trial!! 2nd trial A = high,x<1 start s $,x<1 0 s 1 s 2 s 3 high s 3,x<1 high s 0 s 1 s 2 s 1 s 2 s 0 8 >< t 2 [0, 0.1) t >: 0 2 (0.3, 0.5] t 0 t 2 (0, 1) s 3 (pattern) (target) 1.2 t 8 >< t 2 [0, 0.1) t >: 0 2 (0.7, 1.1] t 0 t 2 (0, 1) 2nd trial s 0 s 1 s 2 s 1 8 >< t 2 [0.3, 0.5) s 3 t >: 0 2 (0.7, 1.2] M. t 0 Waga t 2 (0, (NII) 1) 7
8 Problems in Skipping for Timed Pattern Matching The length of partial match is unbounded. String Matching Table for length 3 partial match S T R I N G * S T R I N * * S T R I * * * S T R Length 3 partial match in string matching S T R We construct for each length Infinitely many timestamps String Matching 8 Timed Pattern Matching Infinitely Many Tables!! Timed Pattern Matching Length 2 partial match in timed pattern matching 0 high Infinitely many timestamps t
9 Problems in Skipping for Timed Pattern Matching The length of partial match is unbounded. String Matching Table for length 3 partial match S T R I N G * S T R I N * * S T R I * * * S T R Infinitely many timestamps String Matching Length 3 partial match in string matching S T R Construct for each state Represent by a timed automaton Timed Pattern Matching Table for state s2 partial match 0 0 high 0 Timed Pattern Matching t high t high State s2 partial match in timed pattern matching high,x<1 s start 0 s 1 s 2,x<1 t 9
10 Problems in Skipping for Timed Pattern Matching The length of partial match is unbounded. Table for length 3 partial match S T R I N G * S T R I N * * S T R I * * * S T R Infinitely many timestamps Length 3 partial match in string matching S T R Construct for each state Represent by a timed automaton Table for state s2 partial match 0 0 high 0 State s2 partial match in timed pattern matching t high t high high,x<1 s start 0 s 1 s 2,x<1 t 10
11 Skipping for Timed Pattern Matching Table for state s2 partial match high,x<1 s start 0 s 1 s 2 high/x := 0,x<1 start s 1 s 0 s 1 s 2 /x := 0 high,x<1,x<1 We want to compare them high high/x := 0 high,x<1 start s 2 s 1 s 0 s 1 s 2 /x := 0,x<1 11
12 Skipping for Timed Pattern Matching Table for state s2 partial match high,x<1 s start 0 s 1 s 2 high/x := 0,x<1 start s 1 s 0 s 1 s 2 /x := 0 high,x<1,x<1 Product Emptiness Checking high high/x := 0 high,x<1 start s 2 s 1 s 0 s 1 s 2 /x := 0,x<1 12
13 Emptiness Checking by Zone Construction Labelled by a set of similar clock valuations represented by a zone s 1 a, x < 1 $,x>1 construct an NFA a s 1 0 <x<1 $ s 3 x>1 start s 0 s 3 start s 0 x =0 b b, x =1/x := 0 s 2 $, x<1 s 2 x =0 $ s 3 0 <x<1 Thm. (soundness and completeness) Zone automata maintain state reachability. 13
14 Outline 1. Algorithm in MONAA Skipping for timed pattern matching [Waga et al., FORMATS 17] 2. Frontend of MONAA Command line interface (CLI) / C++ API 3. Experiments 14
15 Input of MONAA (CLI) 15
16 Output of MONAA (CLI) 16
17 C++ API (libmonaa) User s Program e.g., online runtime verification C++ API (libmonaa) Get feedback Give Logs Execute timed pattern matching in a user s code Accelerated by Skipping I/O by function/class 17
18 Better Performance by libmonaa MONAA libmonaa Compile monaa TA/TRE Exec. Result Timed Word libmonaa (TA is hard-coded) libmonaa Compile Monitor TA Exec. Result More optimization!! Timed Word 18
19 Outline 1. Algorithm in MONAA Skipping for timed pattern matching [Waga et al., FORMATS 17] 2. Frontend of MONAA Command line interface (CLI) / C++ API 3. Experiments 19
20 Comparison with Montre MONAA Use timed automata We can also construct a TA from a TRE Accelerated by skipping Both command line and C++ interface Existing Tool (Montre) [Ulus, CAV 17] Use timed regular expression (online) On-the-fly construction of a state machine from TRE Only command line interface Our algorithm should work faster because of skipping
21 Experiments Monitoring of a Simulink model of an automatic transmission in a car. Model and spec. are from an automotive benchmark paper [Hoxha et al., ARCH 15] Events: gears: g1,g2,g3,g4 velocity: v >v, v v RPM: ω > ω, ω ω 21
22 Experiments Gear changes from g1 to g4 in 10 sec. and RPM changes to high enough, but velocity is still. g 1 g 2, true g 2 g 3, true g 3 g 4,xapple 10 /x := 0 g 4 3 g 1, true start?!!, true!!, true!!, true!!, true $,x>1!!, true? g 1, true g 2, true g 3, true g 1 g 2 g 3 g 4 g 4,xapple 10 /x := 0 22
23 Result of the Comparison Length of timed word Table 1. Execution time (sec.) MONAA (TRE) MONAA (TA) libmonaa (TA is hard coded) Montre (online) Montre (offline) , , , , , , , ,011, Efficient and online B up!! Efficient but offline only 23
24 Conclusion MONAA can inspect logs with timestamps fast (skipping) simple (text-based I/O) flexible (C++ API) 24
25 Future Works Theoretical Side: Investigate other techniques for efficient monitoring Practical Side: Case study of timed pattern matching 25
TTIC 31210: Advanced Natural Language Processing. Kevin Gimpel Spring Lecture 9: Inference in Structured Prediction
TTIC 31210: Advanced Natural Language Processing Kevin Gimpel Spring 2019 Lecture 9: Inference in Structured Prediction 1 intro (1 lecture) Roadmap deep learning for NLP (5 lectures) structured prediction
Bardziej szczegółowoMachine Learning for Data Science (CS4786) Lecture11. Random Projections & Canonical Correlation Analysis
Machine Learning for Data Science (CS4786) Lecture11 5 Random Projections & Canonical Correlation Analysis The Tall, THE FAT AND THE UGLY n X d The Tall, THE FAT AND THE UGLY d X > n X d n = n d d The
Bardziej szczegółowodeep learning for NLP (5 lectures)
TTIC 31210: Advanced Natural Language Processing Kevin Gimpel Spring 2019 Lecture 6: Finish Transformers; Sequence- to- Sequence Modeling and AJenKon 1 Roadmap intro (1 lecture) deep learning for NLP (5
Bardziej szczegółowoHelena Boguta, klasa 8W, rok szkolny 2018/2019
Poniższy zbiór zadań został wykonany w ramach projektu Mazowiecki program stypendialny dla uczniów szczególnie uzdolnionych - najlepsza inwestycja w człowieka w roku szkolnym 2018/2019. Składają się na
Bardziej szczegółowoMachine Learning for Data Science (CS4786) Lecture 11. Spectral Embedding + Clustering
Machine Learning for Data Science (CS4786) Lecture 11 Spectral Embedding + Clustering MOTIVATING EXAMPLE What can you say from this network? MOTIVATING EXAMPLE How about now? THOUGHT EXPERIMENT For each
Bardziej szczegółowoWojewodztwo Koszalinskie: Obiekty i walory krajoznawcze (Inwentaryzacja krajoznawcza Polski) (Polish Edition)
Wojewodztwo Koszalinskie: Obiekty i walory krajoznawcze (Inwentaryzacja krajoznawcza Polski) (Polish Edition) Robert Respondowski Click here if your download doesn"t start automatically Wojewodztwo Koszalinskie:
Bardziej szczegółowoTTIC 31210: Advanced Natural Language Processing. Kevin Gimpel Spring Lecture 8: Structured PredicCon 2
TTIC 31210: Advanced Natural Language Processing Kevin Gimpel Spring 2019 Lecture 8: Structured PredicCon 2 1 Roadmap intro (1 lecture) deep learning for NLP (5 lectures) structured predic+on (4 lectures)
Bardziej szczegółowoProposal of thesis topic for mgr in. (MSE) programme in Telecommunications and Computer Science
Proposal of thesis topic for mgr in (MSE) programme 1 Topic: Monte Carlo Method used for a prognosis of a selected technological process 2 Supervisor: Dr in Małgorzata Langer 3 Auxiliary supervisor: 4
Bardziej szczegółowoHard-Margin Support Vector Machines
Hard-Margin Support Vector Machines aaacaxicbzdlssnafiyn9vbjlepk3ay2gicupasvu4iblxuaw2hjmuwn7ddjjmxm1bkcg1/fjqsvt76fo9/gazqfvn8y+pjpozw5vx8zkpvtfxmlhcwl5zxyqrm2vrg5zw3vxmsoezi4ogkr6phieky5crvvjhriqvdom9l2xxftevuwcekj3lktmhghgniauiyutvrwxtvme34a77kbvg73gtygpjsrfati1+xc8c84bvraowbf+uwnipyehcvmkjrdx46vlykhkgykm3ujjdhcyzqkxy0chur6ax5cbg+1m4bbjptjcubuz4kuhvjoql93hkin5hxtav5x6yyqopnsyuneey5ni4keqrxbar5wqaxbik00icyo/iveiyqqvjo1u4fgzj/8f9x67bzmxnurjzmijtlybwfgcdjgfdtajwgcf2dwaj7ac3g1ho1n4814n7wwjgjmf/ys8fenfycuzq==
Bardziej szczegółowoTTIC 31190: Natural Language Processing
TTIC 31190: Natural Language Processing Kevin Gimpel Spring 2018 Lecture 17: Machine TranslaDon; SemanDcs Roadmap words, morphology, lexical semandcs text classificadon simple neural methods for NLP language
Bardziej szczegółowoarchivist: Managing Data Analysis Results
archivist: Managing Data Analysis Results https://github.com/pbiecek/archivist Marcin Kosiński 1,2, Przemysław Biecek 2 1 IT Research and Development Grupa Wirtualna Polska 2 Faculty of Mathematics, Informatics
Bardziej szczegółowoSSW1.1, HFW Fry #20, Zeno #25 Benchmark: Qtr.1. Fry #65, Zeno #67. like
SSW1.1, HFW Fry #20, Zeno #25 Benchmark: Qtr.1 I SSW1.1, HFW Fry #65, Zeno #67 Benchmark: Qtr.1 like SSW1.2, HFW Fry #47, Zeno #59 Benchmark: Qtr.1 do SSW1.2, HFW Fry #5, Zeno #4 Benchmark: Qtr.1 to SSW1.2,
Bardziej szczegółowoEXAMPLES OF CABRI GEOMETRE II APPLICATION IN GEOMETRIC SCIENTIFIC RESEARCH
Anna BŁACH Centre of Geometry and Engineering Graphics Silesian University of Technology in Gliwice EXAMPLES OF CABRI GEOMETRE II APPLICATION IN GEOMETRIC SCIENTIFIC RESEARCH Introduction Computer techniques
Bardziej szczegółowoLinear Classification and Logistic Regression. Pascal Fua IC-CVLab
Linear Classification and Logistic Regression Pascal Fua IC-CVLab 1 aaagcxicbdtdbtmwfafwdgxlhk8orha31ibqycvkdgpshdqxtwotng2pxtvqujmok1qlky5xllzrnobbediegwcap4votk2kqkf+/y/tnphdschtadu/giv3vtea99cfma8fpx7ytlxx7ckns4sylo3doom7jguhj1hxchmy/irhrlgh67lxb5x3blis8jjqynmedqujiu5zsqqagrx+yjcfpcrydusshmzeluzsg7tttiew5khhcuzm5rv0gn1unw6zl3gbzlpr3liwncyr6aaqinx4wnc/rpg6ix5szd86agoftuu0g/krjxdarph62enthdey3zn/+mi5zknou2ap+tclvhob9sxhwvhaqketnde7geqjp21zvjsfrcnkfhtejoz23vq97elxjlpbtmxpl6qxtl1sgfv1ptpy/yq9mgacrzkgje0hjj2rq7vtywnishnnkzsqekucnlblrarlh8x8szxolrrxkb8n6o4kmo/e7siisnozcfvsedlol60a/j8nmul/gby8mmssrfr2it8lkyxr9dirxxngzthtbaejv
Bardziej szczegółowoInstrukcja obsługi User s manual
Instrukcja obsługi User s manual Konfigurator Lanberg Lanberg Configurator E-mail: support@lanberg.pl support@lanberg.eu www.lanberg.pl www.lanberg.eu Lanberg 2015-2018 WERSJA VERSION: 2018/11 Instrukcja
Bardziej szczegółowoInstrukcja konfiguracji usługi Wirtualnej Sieci Prywatnej w systemie Mac OSX
UNIWERSYTETU BIBLIOTEKA IEGO UNIWERSYTETU IEGO Instrukcja konfiguracji usługi Wirtualnej Sieci Prywatnej w systemie Mac OSX 1. Make a new connection Open the System Preferences by going to the Apple menu
Bardziej szczegółowoTychy, plan miasta: Skala 1: (Polish Edition)
Tychy, plan miasta: Skala 1:20 000 (Polish Edition) Poland) Przedsiebiorstwo Geodezyjno-Kartograficzne (Katowice Click here if your download doesn"t start automatically Tychy, plan miasta: Skala 1:20 000
Bardziej szczegółowoAnalysis of Movie Profitability STAT 469 IN CLASS ANALYSIS #2
Analysis of Movie Profitability STAT 469 IN CLASS ANALYSIS #2 aaaklnictzzjb9tgfmcnadpg7oy0lxa9edva9kkapdarhyk2k7gourinlwsweyzikuyiigvyleiv/cv767fpf/5crc1xt9va5mx7w3m/ecuqw1kuztpx/rl3/70h73/w4cog9dhhn3z62d6jzy+yzj766txpoir9nzszisjynetqr+rvlfvyoozu5xbybpsxb1wahul8phczdt2v4zgchb7uecwphlyigrgkjcyiflfyci0kxnmr4z6kw0jsokvot8isntpa3gbknlcufiv/h+hh+eur4fomd417rvtfjoit5pfju6yxiab2fmwk0y/feuybobqk+axnke8xzjjhfyd8kkpl9zdoddkazd5j6bzpemjb64smjb6vb4xmehysu08lsrszopxftlzee130jcb0zjxy7r5wa2f1s2off2+dyatrughnrtpkuprlcpu55zlxpss/yqe2eamjkcf0jye8w8yas0paf6t0t2i9stmcua+inbi2rt01tz22tubbqwidypvgz6piynkpobirkxgu54ibzoti4pkw2i5ow9lnuaoabhuxfxqhvnrj6w15tb3furnbm+scyxobjhr5pmj5j/w5ix9wsa2tlwx9alpshlunzjgnrwvqbpwzjl9wes+ptyn+ypy/jgskavtl8j0hz1djdhzwtpjbbvpr1zj7jpg6ve7zxfngj75zee0vmp9qm2uvgu/9zdofq6r+g8l4xctvo+v+xdrfr8oxiwutycu0qgyf8icuyvp/sixfi9zxe11vp6mrjjovpmxm6acrtbia+wjr9bevlgjwlz5xd3rfna9g06qytaoofk8olxbxc7xby2evqjmmk6pjvvzxmpbnct6+036xp5vdbrnbdqph8brlfn/n/khnfumhf6z1v7h/80yieukkd5j0un82t9mynxzmk0s/bzn4tacdziszdhwrl8x5ako8qp1n1zn0k6w2em0km9zj1i4yt1pt3xiprw85jmc2m1ut2geum6y6es2fwx6c+wlrpykblopbuj5nnr2byygfy5opllv4+jmm7s6u+tvhywbnb0kv2lt5th4xipmiij+y1toiyo7bo0d+vzvovjkp6aoejsubhj3qrp3fjd/m23pay8h218ibvx3nicofvd1xi86+kh6nb/b+hgsjp5+qwpurzlir15np66vmdehh6tyazdm1k/5ejtuvurgcqux6yc+qw/sbsaj7lkt4x9qmtp7euk6zbdedyuzu6ptsu2eeu3rxcz06uf6g8wyuveznhkbzynajbb7r7cbmla+jbtrst0ow2v6ntkwv8svnwqnu5pa3oxfeexf93739p93chq/fv+jr8r0d9brhpcxr2w88bvqbr41j6wvrb+u5dzjpvx+veoaxwptzp/8cen+xbg==
Bardziej szczegółowoWojewodztwo Koszalinskie: Obiekty i walory krajoznawcze (Inwentaryzacja krajoznawcza Polski) (Polish Edition)
Wojewodztwo Koszalinskie: Obiekty i walory krajoznawcze (Inwentaryzacja krajoznawcza Polski) (Polish Edition) Robert Respondowski Click here if your download doesn"t start automatically Wojewodztwo Koszalinskie:
Bardziej szczegółowoWeronika Mysliwiec, klasa 8W, rok szkolny 2018/2019
Poniższy zbiór zadań został wykonany w ramach projektu Mazowiecki program stypendialny dla uczniów szczególnie uzdolnionych - najlepsza inwestycja w człowieka w roku szkolnym 2018/2019. Tresci zadań rozwiązanych
Bardziej szczegółowoRealizacja systemów wbudowanych (embeded systems) w strukturach PSoC (Programmable System on Chip)
Realizacja systemów wbudowanych (embeded systems) w strukturach PSoC (Programmable System on Chip) Embeded systems Architektura układów PSoC (Cypress) Możliwości bloków cyfrowych i analogowych Narzędzia
Bardziej szczegółowo2 nd ClimMani EU COST Action Meeting Poznań, Poland 28-30 September, 2015
nd ClimMani EU COST Action Meeting, oland 8-30 September, 015 Venue HOTEL MERCURE**** - OZNAŃ Address: ul. Roosvelta 0, 60-89, oland Tel. +48 61 855 80 00 e-mail: H3393@accor.com mercure-poznan-centrum.com
Bardziej szczegółowoARNOLD. EDUKACJA KULTURYSTY (POLSKA WERSJA JEZYKOWA) BY DOUGLAS KENT HALL
Read Online and Download Ebook ARNOLD. EDUKACJA KULTURYSTY (POLSKA WERSJA JEZYKOWA) BY DOUGLAS KENT HALL DOWNLOAD EBOOK : ARNOLD. EDUKACJA KULTURYSTY (POLSKA WERSJA Click link bellow and free register
Bardziej szczegółowoTesty jednostkowe - zastosowanie oprogramowania JUNIT 4.0 Zofia Kruczkiewicz
Testy jednostkowe - zastosowanie oprogramowania JUNIT 4.0 http://www.junit.org/ Zofia Kruczkiewicz 1. Aby utworzyć test dla jednej klasy, należy kliknąć prawym przyciskiem myszy w oknie Projects na wybraną
Bardziej szczegółowoWarsztaty Ocena wiarygodności badania z randomizacją
Warsztaty Ocena wiarygodności badania z randomizacją Ocena wiarygodności badania z randomizacją Każda grupa Wspólnie omawia odpowiedź na zadane pytanie Wybiera przedstawiciela, który w imieniu grupy przedstawia
Bardziej szczegółowoZarządzanie sieciami telekomunikacyjnymi
SNMP Protocol The Simple Network Management Protocol (SNMP) is an application layer protocol that facilitates the exchange of management information between network devices. It is part of the Transmission
Bardziej szczegółowoRelaxation of the Cosmological Constant
Relaxation of the Cosmological Constant with Peter Graham and David E. Kaplan The Born Again Universe + Work in preparation + Work in progress aaab7nicdvbns8nafhypx7v+vt16wsycp5kioseifw8ekthwaepzbf7apztn2n0ipfrhepggifd/jzf/jzs2brudwbhm5rhvtzakro3rfjqlpewv1bxyemvjc2t7p7q719zjphi2wcisdr9qjyjlbblubn6ncmkccoweo6vc7zyg0jyrd2acoh/tgeqrz9ryqdo7sdgq9qs1t37m5ibu3v2qqvekpqyfmv3qry9mwbajnexqrbuemxp/qpxhtoc00ss0ppsn6ac7lkoao/yns3wn5mgqiykszz80zkz+n5jqwotxhnhktm1q//zy8s+vm5nowp9wmwygjzt/fgwcmitkt5oqk2rgjc2hthg7k2fdqigztqgklwfxkfmfte/qnuw3p7xgzvfhgq7gei7bg3nowdu0oqumrvaiz/dipm6t8+q8zamlp5jzhx9w3r8agjmpzw==
Bardziej szczegółowoWYŁĄCZNIK CZASOWY OUTDOOR TIMER
003-582 PL WYŁĄCZNIK CZASOWY Instrukcja obsługi (Tłumaczenie oryginalnej instrukcji) Ważny! Przed użyciem uważnie przeczytaj instrukcję obsługi! Zachowaj ją na przyszłość. EN OUTDOOR TIMER Operating instructions
Bardziej szczegółowoGradient Coding using the Stochastic Block Model
Gradient Coding using the Stochastic Block Model Zachary Charles (UW-Madison) Joint work with Dimitris Papailiopoulos (UW-Madison) aaacaxicbvdlssnafj3uv62vqbvbzwarxjsqikaboelgzux7gcaeywtsdp1mwsxeaepd+ctuxcji1r9w5984bbpq1gmxdufcy733bcmjutn2t1fawl5zxsuvvzy2t7z3zn29lkwyguktjywrnqbjwigntuuvi51uebqhjlsdwfxebz8qiwnc79uwjv6mepxgfcoljd88uiox0m1hvlnzwzgowymjn7tjyzertmvpareju5aqkndwzs83thawe64wq1j2httvxo6eopirccxnjekrhqae6wrkuuykl08/gmnjryqwsoqurubu/t2ro1jkyrzozhipvpz3juj/xjdt0ywxu55mina8wxrldkoetukairuekzbubgfb9a0q95fawonqkjoez/7lrdi6trzbcm7pqvwrio4yoarh4aq44bzuwq1ogcba4be8g1fwzjwzl8a78tfrlrnfzd74a+pzb2h+lzm=
Bardziej szczegółowoMachine Learning for Data Science (CS4786) Lecture 24. Differential Privacy and Re-useable Holdout
Machine Learning for Data Science (CS4786) Lecture 24 Differential Privacy and Re-useable Holdout Defining Privacy Defining Privacy Dataset + Defining Privacy Dataset + Learning Algorithm Distribution
Bardziej szczegółowoOxford PWN Polish English Dictionary (Wielki Slownik Polsko-angielski)
Oxford PWN Polish English Dictionary (Wielki Slownik Polsko-angielski) PWN- Oxford Wielki s ownik polsko> angielski - PWN-Oxford Wielki s ownik polsko>angielski (Great Polish>English) The most comprehensive
Bardziej szczegółowoKnovel Math: Jakość produktu
Knovel Math: Jakość produktu Knovel jest agregatorem materiałów pełnotekstowych dostępnych w formacie PDF i interaktywnym. Narzędzia interaktywne Knovel nie są stworzone wokół specjalnych algorytmów wymagających
Bardziej szczegółowoThe Overview of Civilian Applications of Airborne SAR Systems
The Overview of Civilian Applications of Airborne SAR Systems Maciej Smolarczyk, Piotr Samczyński Andrzej Gadoś, Maj Mordzonek Research and Development Department of PIT S.A. PART I WHAT DOES SAR MEAN?
Bardziej szczegółowoSystemy wbudowane. Poziomy abstrakcji projektowania systemów HW/SW. Wykład 9: SystemC modelowanie na różnych poziomach abstrakcji
Systemy wbudowane Wykład 9: SystemC modelowanie na różnych poziomach abstrakcji Poziomy abstrakcji projektowania systemów HW/SW 12/17/2011 S.Deniziak:Systemy wbudowane 2 1 Model czasu 12/17/2011 S.Deniziak:Systemy
Bardziej szczegółowoKatowice, plan miasta: Skala 1: = City map = Stadtplan (Polish Edition)
Katowice, plan miasta: Skala 1:20 000 = City map = Stadtplan (Polish Edition) Polskie Przedsiebiorstwo Wydawnictw Kartograficznych im. Eugeniusza Romera Click here if your download doesn"t start automatically
Bardziej szczegółowoRevenue Maximization. Sept. 25, 2018
Revenue Maximization Sept. 25, 2018 Goal So Far: Ideal Auctions Dominant-Strategy Incentive Compatible (DSIC) b i = v i is a dominant strategy u i 0 x is welfare-maximizing x and p run in polynomial time
Bardziej szczegółowoLabel-Noise Robust Generative Adversarial Networks
Label-Noise Robust Generative Adversarial Networks Training data rcgan Noisy labeled Conditioned on clean labels Takuhiro Kaneko1 Yoshitaka Ushiku1 Tatsuya Harada1, 2 1The University of Tokyo 2RIKEN Talk
Bardziej szczegółowoMaPlan Sp. z O.O. Click here if your download doesn"t start automatically
Mierzeja Wislana, mapa turystyczna 1:50 000: Mikoszewo, Jantar, Stegna, Sztutowo, Katy Rybackie, Przebrno, Krynica Morska, Piaski, Frombork =... = Carte touristique (Polish Edition) MaPlan Sp. z O.O Click
Bardziej szczegółowoOpenPoland.net API Documentation
OpenPoland.net API Documentation Release 1.0 Michał Gryczka July 11, 2014 Contents 1 REST API tokens: 3 1.1 How to get a token............................................ 3 2 REST API : search for assets
Bardziej szczegółowoPreviously on CSCI 4622
More Naïve Bayes aaace3icbvfba9rafj7ew423vr998obg2gpzkojyh4rcx3ys4lafzbjmjifdototmhoilml+hf/mn3+kl+jkdwtr64gbj+8yl2/ywklhsfircg/dvnp33s796mhdr4+fdj4+o3fvywvorkuqe5zzh0oanjakhwe1ra5zhaf5xvgvn35f62rlvtcyxpnm50awundy1hzwi46jbmgprbtrrvidrg4jre4g07kak+picee6xfgiwvfaltorirucni64eeigkqhpegbwaxglabftpyq4gjbls/hw2ci7tr2xj5ddfmfzwtazj6ubmyddgchbzpf88dmrktfonct6vazputos5zakunhfweow5ukcn+puq8m1ulm7kq+d154pokysx4zgxw4nwq6dw+rcozwnhbuu9et/tgld5cgslazuci1yh1q2ynca/u9ais0kukspulds3xxegvtyfycu8iwk1598e0z2xx/g6ef94ehbpo0d9ok9yiowsvfskh1ix2zcbpsdvaxgww7wj4zdn+he2hogm8xz9s+e7/4cuf/ata==
Bardziej szczegółowoMETHOD 2 -DIAGNOSTIC OUTSIDE
VW MOTOMETER BOSCH METHOD 1 - OBD 2 METHOD 2 -DIAGNOSTIC OUTSIDE AFTER OPERATION YOU MUST DISCONECT ACU OR REMOVE FUSE FOR RESTART ODOMETER PO ZROBIENIU LICZNIKA ZDJĄĆ KLEMĘ LUB WYJĄĆ 2 BEZPIECZNIKI OD
Bardziej szczegółowoREHABILITATION OF MEDIUM-HEAD HYDROPOWER PLANTS WITH EXPLOITED TWIN-FRANCIS TURBINES.
ZRE Gdańsk S.A. ul. Litewska 14A 80-719 Gdańsk REHABILITATION OF MEDIUM-HEAD HYDROPOWER PLANTS WITH EXPLOITED TWIN-FRANCIS TURBINES. Maciej Kaniecki, PhD Andrzej Łojek, PhD Marusz Hajdarowicz, M.Sc.Eng
Bardziej szczegółowoCEE 111/211 Agenda Feb 17
CEE 111/211 Agenda Feb 17 Tuesday: SW for project work: Jetstream, MSP, Revit, Riuska, POP, SV On R: drive; takes time to install Acoustics today: \\cife server\files\classes\cee111\presentations Thursday:
Bardziej szczegółowoNetwork Services for Spatial Data in European Geo-Portals and their Compliance with ISO and OGC Standards
INSPIRE Conference 2010 INSPIRE as a Framework for Cooperation Network Services for Spatial Data in European Geo-Portals and their Compliance with ISO and OGC Standards Elżbieta Bielecka Agnieszka Zwirowicz
Bardziej szczegółowoZakopane, plan miasta: Skala ok. 1: = City map (Polish Edition)
Zakopane, plan miasta: Skala ok. 1:15 000 = City map (Polish Edition) Click here if your download doesn"t start automatically Zakopane, plan miasta: Skala ok. 1:15 000 = City map (Polish Edition) Zakopane,
Bardziej szczegółowoPROCESORY ARM TRUDNO ZNALEŹĆ PROCESORY O TAK LICZNYCH, ORYGINALNYCH, NOWYCH, POMYSŁOWYCH ROZWIĄZANIACH!
TRUDNO ZNALEŹĆ PROCESORY O TAK LICZNYCH, ORYGINALNYCH, NOWYCH, POMYSŁOWYCH ROZWIĄZANIACH! ASEMBLERY Pola Separatory Wizytówki Kody operacji Pseudo operacje adresy I dane Dyrektywy Stałe Komentarze SZKICE
Bardziej szczegółowoŁukasz Reszka Wiceprezes Zarządu
Łukasz Reszka Wiceprezes Zarządu Time for changes! Vocational activisation young unemployed people aged 15 to 24 Projekt location Ząbkowice Śląskie project produced in cooperation with Poviat Labour Office
Bardziej szczegółowoFew-fermion thermometry
Few-fermion thermometry Phys. Rev. A 97, 063619 (2018) Tomasz Sowiński Institute of Physics of the Polish Academy of Sciences Co-authors: Marcin Płodzień Rafał Demkowicz-Dobrzański FEW-BODY PROBLEMS FewBody.ifpan.edu.pl
Bardziej szczegółowoFinancial support for start-uppres. Where to get money? - Equity. - Credit. - Local Labor Office - Six times the national average wage (22000 zł)
Financial support for start-uppres Where to get money? - Equity - Credit - Local Labor Office - Six times the national average wage (22000 zł) - only for unymployed people - the company must operate minimum
Bardziej szczegółowoProgramming with Invariants through Targeted Synthesis. John Sarracino
Programming with Invariants through Targeted Synthesis John Sarracino 1 Programming is Hard Programming is Hard Therac 25 1982 Programming is Hard Ariane 5 1996 Programming is Hard Maersk 2017 Programming
Bardziej szczegółowoaforementioned device she also has to estimate the time when the patients need the infusion to be replaced and/or disconnected. Meanwhile, however, she must cope with many other tasks. If the department
Bardziej szczegółowoy = The Chain Rule Show all work. No calculator unless otherwise stated. If asked to Explain your answer, write in complete sentences.
The Chain Rule Show all work. No calculator unless otherwise stated. If asked to Eplain your answer, write in complete sentences. 1. Find the derivative of the functions y 7 (b) (a) ( ) y t 1 + t 1 (c)
Bardziej szczegółowoBULLETIN 2 II TRAINING CAMP POLISH OPEN MTBO CHAMPIONSHIPS 19-22.06.2014 MICHAŁOWO 23-29.06.2014 TRAINING CAMP WORLD MTB ORIENTEERING CHAMPIONSHIPS
BULLETIN 2 II TRAINING CAMP POLISH OPEN MTBO CHAMPIONSHIPS 19-22.06.2014 MICHAŁOWO 23-29.06.2014 TRAINING CAMP WORLD MTB ORIENTEERING CHAMPIONSHIPS MASTERS WORLD MTB ORIENTEERING CHAMPIONSHIPS MTB ORIENTEERING
Bardziej szczegółowoPrzewody do linii napowietrznych Przewody z drutów okrągłych skręconych współosiowo
POPRAWKA do POLSKIEJ NORMY ICS 29.060.10 PNEN 50182:2002/AC Wprowadza EN 50182:2001/AC:2013, IDT Przewody do linii napowietrznych Przewody z drutów okrągłych skręconych współosiowo Poprawka do Normy Europejskiej
Bardziej szczegółowoSHP / SHP-T Standard and Basic PLUS
Range Features ErP compliant High Pressure Sodium Lamps Long life between 24,000 to 28,000 hours, T90 at 16,000 hours Strong performance with high reliability Car park, Street and Floodlighting applications
Bardziej szczegółowoPolski Krok Po Kroku: Tablice Gramatyczne (Polish Edition) By Anna Stelmach
Polski Krok Po Kroku: Tablice Gramatyczne (Polish Edition) By Anna Stelmach If you are looking for the ebook by Anna Stelmach Polski krok po kroku: Tablice gramatyczne (Polish Edition) in pdf form, in
Bardziej szczegółowoFig 5 Spectrograms of the original signal (top) extracted shaft-related GAD components (middle) and
Fig 4 Measured vibration signal (top). Blue original signal. Red component related to periodic excitation of resonances and noise. Green component related. Rotational speed profile used for experiment
Bardziej szczegółowoMATLAB Neural Network Toolbox przegląd
MATLAB Neural Network Toolbox przegląd WYKŁAD Piotr Ciskowski Neural Network Toolbox: Neural Network Toolbox - zastosowania: przykłady zastosowań sieci neuronowych: The 1988 DARPA Neural Network Study
Bardziej szczegółowoMarzec: food, advertising, shopping and services, verb patterns, adjectives and prepositions, complaints - writing
Wymagania na podstawie Podstawy programowej kształcenia ogólnego dla szkoły podstawowej język obcy oraz polecanego podręcznika New Matura Success Intermediate * Cele z podstawy programowej: rozumienie
Bardziej szczegółowoWebsite review pureorganic.pl
Website review pureorganic.pl Generated on December 08 2017 15:52 PM The score is 53/100 SEO Content Title Sklep ze zdrową żywnością, blog ze zdrowymi przepisami. Length : 55 Perfect, your title contains
Bardziej szczegółowoMixed-integer Convex Representability
Mixed-integer Convex Representability Juan Pablo Vielma Massachuse=s Ins?tute of Technology Joint work with Miles Lubin and Ilias Zadik INFORMS Annual Mee?ng, Phoenix, AZ, November, 2018. Mixed-Integer
Bardziej szczegółowoA DIFFERENT APPROACH WHERE YOU NEED TO NAVIGATE IN THE CURRENT STREAMS AND MOVEMENTS WHICH ARE EMBEDDED IN THE CULTURE AND THE SOCIETY
A DIFFERENT APPROACH WHERE YOU NEED TO NAVIGATE IN THE CURRENT STREAMS AND MOVEMENTS WHICH ARE EMBEDDED IN THE CULTURE AND THE SOCIETY ODMIENNE PODEJŚCIE JAK NAWIGOWAĆ W OBECNYCH NURTACH I RUCHACH, KTÓRE
Bardziej szczegółowoMoA-Net: Self-supervised Motion Segmentation. Pia Bideau, Rakesh R Menon, Erik Learned-Miller
MoA-Net: Self-supervised Motion Segmentation Pia Bideau, Rakesh R Menon, Erik Learned-Miller University of Massachusetts Amherst College of Information and Computer Science Motion Segmentation P Bideau,
Bardziej szczegółowoVerification in POMDPs
Verification in OMDs rivacy, machine teaching and other belief-related problems Ufuk Topcu The University of Texas at Austin Slides originally prepared by Bo Wu. http://u-t-autonomous.info Ufuk Topcu rotecting
Bardziej szczegółowoClinical Trials. Anna Dziąg, MD, ąg,, Associate Director Site Start Up Quintiles
Polandchallenges in Clinical Trials Anna Dziąg, MD, ąg,, Associate Director Site Start Up Quintiles Poland- legislation 1996-2003 Ustawa z dnia 5 grudnia 1996 r o zawodach lekarza i lekarza dentysty, z
Bardziej szczegółowoProjekt ICT for IST. Moduł Ruch i siły. Elżbieta Kawecka Seminarium dla nauczycieli, OEIiZK, 18 maja 2010
Projekt ICT for IST Moduł Ruch i siły Elżbieta Kawecka Seminarium dla nauczycieli, OEIiZK, 18 maja 2010 http://ictforist.oeiizk.waw.pl Uczestnicy projektu University of Amsterdam, Instytut AMSTEL (Holandia)
Bardziej szczegółowoETICS: Few words about the Polish market Dr. Jacek Michalak Stowarzyszenie na Rzecz Systemów Ociepleń (SSO), Warsaw, Poland
ETICS: Few words about the Polish market Dr. Jacek Michalak Stowarzyszenie na Rzecz Systemów Ociepleń (SSO), Warsaw, Poland 1957 the first ETICS was applied to residential building in Berlin, Germany the
Bardziej szczegółowoJazz EB207S is a slim, compact and outstanding looking SATA to USB 2.0 HDD enclosure. The case is
1. Introduction Jazz EB207S is a slim, compact and outstanding looking SATA to USB 2.0 HDD enclosure. The case is made of aluminum and steel mesh as one of the coolest enclosures available. It s also small
Bardziej szczegółowotum.de/fall2018/ in2357
https://piazza.com/ tum.de/fall2018/ in2357 Prof. Daniel Cremers From to Classification Categories of Learning (Rep.) Learning Unsupervised Learning clustering, density estimation Supervised Learning learning
Bardziej szczegółowoExplorers Summer Adventure Camp
Explorers Summer Adventure Camp Ages 8-12 Monday to Friday 9am 3pm July 2 nd August 30 th 2019 Program does not run on Holidays Daily Spaces: $65 Weekly Spaces: $300 (prorated for Holidays) www.hoodooadventures.ca
Bardziej szczegółowoWprowadzenie do psql i SQL. Język komend psql. Podstawy instrukcji SELECT
Wprowadzenie do psql i SQL 1 Bazy Danych Wykład p.t. Wprowadzenie do psql i SQL. Język komend psql. Podstawy instrukcji SELECT Antoni Ligęza ligeza@agh.edu.pl http://galaxy.uci.agh.edu.pl/~ligeza Wykorzystano
Bardziej szczegółowoConvolution semigroups with linear Jacobi parameters
Convolution semigroups with linear Jacobi parameters Michael Anshelevich; Wojciech Młotkowski Texas A&M University; University of Wrocław February 14, 2011 Jacobi parameters. µ = measure with finite moments,
Bardziej szczegółowoGeneral Catalogue. Product Line for Hearing Screening & Diagnostics
General Catalogue Product Line for Hearing Screening & Diagnostics Welcome to the World of MAICO International Sales Team Andreas Kurzbuch Angela Röske Anke Trey Daniel Herrle Melanie Pérez Salas Nadine
Bardziej szczegółowoStargard Szczecinski i okolice (Polish Edition)
Stargard Szczecinski i okolice (Polish Edition) Janusz Leszek Jurkiewicz Click here if your download doesn"t start automatically Stargard Szczecinski i okolice (Polish Edition) Janusz Leszek Jurkiewicz
Bardziej szczegółowoTowards Stability Analysis of Data Transport Mechanisms: a Fluid Model and an Application
Towards Stability Analysis of Data Transport Mechanisms: a Fluid Model and an Application Gayane Vardoyan *, C. V. Hollot, Don Towsley* * College of Information and Computer Sciences, Department of Electrical
Bardziej szczegółowoi pakietu programowego PALASM 4
i pakietu programowego PALASM 4 - 2 -! "# logicznych PAL i GAL; $!# #% programowego PALASM 4.!" & "!&' (! ))!*+ $!," # (!) )# )!*+ -!," # (!!*+.!,% %(!!*! #!, #+ $!&# 0+ -!,%##nazwa.pds# # % '# #'"# %#+
Bardziej szczegółowoKarpacz, plan miasta 1:10 000: Panorama Karkonoszy, mapa szlakow turystycznych (Polish Edition)
Karpacz, plan miasta 1:10 000: Panorama Karkonoszy, mapa szlakow turystycznych (Polish Edition) J Krupski Click here if your download doesn"t start automatically Karpacz, plan miasta 1:10 000: Panorama
Bardziej szczegółowoProjekt: Mikro zaprogramowane na sukces!
Projekt współfinansowany przez Unię Europejską w ramach Europejskiego Funduszu Społecznego Projekt: Mikro zaprogramowane na sukces! Opis autoryzowanych szkoleń Oracle planowanych do realizacji w ramach
Bardziej szczegółowoSteeple #3: Gödel s Silver Blaze Theorem. Selmer Bringsjord Are Humans Rational? Dec RPI Troy NY USA
Steeple #3: Gödel s Silver Blaze Theorem Selmer Bringsjord Are Humans Rational? Dec 6 2018 RPI Troy NY USA Gödels Great Theorems (OUP) by Selmer Bringsjord Introduction ( The Wager ) Brief Preliminaries
Bardziej szczegółowoCracow University of Economics Poland
Cracow University of Economics Poland Sources of Real GDP per Capita Growth: Polish Regional-Macroeconomic Dimensions 2000-2005 - Keynote Speech - Presented by: Dr. David Clowes The Growth Research Unit,
Bardziej szczegółowoLogistic Regression. Machine Learning CS5824/ECE5424 Bert Huang Virginia Tech
Logistic Regression Machine Learning CS5824/ECE5424 Bert Huang Virginia Tech Outline Review conditional probability and classification Linear parameterization and logistic function Gradient descent Other
Bardziej szczegółowoERASMUS + : Trail of extinct and active volcanoes, earthquakes through Europe. SURVEY TO STUDENTS.
ERASMUS + : Trail of extinct and active volcanoes, earthquakes through Europe. SURVEY TO STUDENTS. Strona 1 1. Please give one answer. I am: Students involved in project 69% 18 Student not involved in
Bardziej szczegółowoWyk lad 8: Leniwe metody klasyfikacji
Wyk lad 8: Leniwe metody Wydzia l MIM, Uniwersytet Warszawski Outline 1 2 lazy vs. eager learning lazy vs. eager learning Kiedy stosować leniwe techniki? Eager learning: Buduje globalna hipoteze Zaleta:
Bardziej szczegółowoJĘZYK ANGIELSKI ĆWICZENIA ORAZ REPETYTORIUM GRAMATYCZNE
MACIEJ MATASEK JĘZYK ANGIELSKI ĆWICZENIA ORAZ REPETYTORIUM GRAMATYCZNE 1 Copyright by Wydawnictwo HANDYBOOKS Poznań 2014 Wszelkie prawa zastrzeżone. Każda reprodukcja lub adaptacja całości bądź części
Bardziej szczegółowoKWESTIONARIUSZ OCENY RYZYKA / INSURANCE QUESTIONNAIRE
Ubezpieczenie odpowiedzialności cywilnej z tytułu prowadzenia badań klinicznych/ Clinical trials liability insurance KWESTIONARIUSZ OCENY RYZYKA / INSURANCE QUESTIONNAIRE ZEZWOLENIA PUNU NR 1098/02 I NR
Bardziej szczegółowoBaptist Church Records
Baptist Church Records The Baptist religion was a religious minority in Poland, making it more difficult to know when and where records of this religion might be available. In an article from Rodziny,
Bardziej szczegółowoInstallation of EuroCert software for qualified electronic signature
Installation of EuroCert software for qualified electronic signature for Microsoft Windows systems Warsaw 28.08.2019 Content 1. Downloading and running the software for the e-signature... 3 a) Installer
Bardziej szczegółowoOPRAWY I CZÊŒCI ZNORMALIZOWANE DO T OCZNIKÓW
FCPK a SUPERIOR DIE SET CORPORATION COMPANY FCPK Bytów Sp. z o.o. ul. Lêborska 26, 77-100 Bytów, Poland tel. +48-59-822-9700, fax +48-59-822-9701 www.fcpk.pl OPRAWY I CZÊŒCI ZNORMALIZOWANE DO T OCZNIKÓW
Bardziej szczegółowoPoniżej moje uwagi po zapoznaniu się z prezentowanymi zasadami:
Witam wszystkich nawigatorów. Ostatnio zostały opublikowane nowe zasady CEC (opracowane przez Węgrów) dla zawodników i organizatorów CEC 2011, które obowiązują od tego sezonu. Choć w większości pokrywają
Bardziej szczegółowoInternet of Things Devices
Internet of Things Devices } Internet of Things (IoT) devices } Have access to an abundance of raw data } In home, work, or vehicle IoT: Raw Data & Processing } IoT is gaining ground with the widespread
Bardziej szczegółowoDM-ML, DM-FL. Auxiliary Equipment and Accessories. Damper Drives. Dimensions. Descritpion
DM-ML, DM-FL Descritpion DM-ML and DM-FL actuators are designed for driving round dampers and square multi-blade dampers. Example identification Product code: DM-FL-5-2 voltage Dimensions DM-ML-6 DM-ML-8
Bardziej szczegółowoZasady rejestracji i instrukcja zarządzania kontem użytkownika portalu
Zasady rejestracji i instrukcja zarządzania kontem użytkownika portalu Rejestracja na Portalu Online Job Application jest całkowicie bezpłatna i składa się z 3 kroków: Krok 1 - Wypełnij poprawnie formularz
Bardziej szczegółowoArca. Design: Ronald Straubel
Arca Design: Ronald Straubel 3 ARCA 21SL CHROM P51PU ARCA 21SL CZARNY P54PU 4 ARCA 21SL METALIK P54PU ARCA 21SL CZARNY P54PU 5 1 KRZESŁO - 2 KOLORY TAPICERKI 1 CHAIR - 2 UPHOLSTERY COLOURS W modelach ARCA
Bardziej szczegółowoNo matter how much you have, it matters how much you need
CSR STRATEGY KANCELARIA FINANSOWA TRITUM GROUP SP. Z O.O. No matter how much you have, it matters how much you need Kancelaria Finansowa Tritum Group Sp. z o.o. was established in 2007 we build trust among
Bardziej szczegółowoExtraclass. Football Men. Season 2009/10 - Autumn round
Extraclass Football Men Season 2009/10 - Autumn round Invitation Dear All, On the date of 29th July starts the new season of Polish Extraclass. There will be live coverage form all the matches on Canal+
Bardziej szczegółowoTACHOGRAPH SIMULATOR DTCOSIM
TACHOGRAPH SIMULATOR DTCOSIM Service Manual USB-KSIM interface General description The simulator is a device that is used as a replacement for tachograph in the vehicle where the tachograph is not mandatory,
Bardziej szczegółowoPatients price acceptance SELECTED FINDINGS
Patients price acceptance SELECTED FINDINGS October 2015 Summary With growing economy and Poles benefiting from this growth, perception of prices changes - this is also true for pharmaceuticals It may
Bardziej szczegółowoZARZADZANIE RYZYKIEM WALUTOWYM PDF
ZARZADZANIE RYZYKIEM WALUTOWYM PDF ==> Download: ZARZADZANIE RYZYKIEM WALUTOWYM PDF ZARZADZANIE RYZYKIEM WALUTOWYM PDF - Are you searching for Zarzadzanie Ryzykiem Walutowym Books? Now, you will be happy
Bardziej szczegółowoEXPERTS IN ROOFING. Join our talented team and start your career today! Search Tecta America's Careers
Home EXPERTS IN ROOFING Join our talented team and start your career today! Search Tecta America's Careers NATIONWIDE COVERAGE With more than 70 locations and 3,000 roofing professionals nationwide, Tecta
Bardziej szczegółowoAlgorytm FIREFLY. Michał Romanowicz Piotr Wasilewski
Algorytm FIREFLY Michał Romanowicz Piotr Wasilewski Struktura prezentacji 1. Twórca algorytmu 2. Inspiracja w przyrodzie 3. Algorytm 4. Zastosowania algorytmu 5. Krytyka algorytmu 6. Porównanie z PSO Twórca
Bardziej szczegółowo