Dziesiąte warsztaty nt. ilościowych aspektów języków programowania, Tallin, Estonia :: Wydarzenia / Polski Serwis Naukowy

Polecamy również:

Pierwsze międzynarodowe warsztaty nt. analizy w czasie rzeczywistym i eksploatacji strumieni społecznościowych, Dublin, Irlandia

Trzecie Warsztaty na temat Systemów Portali Społecznościowych, Paryż, Francja

Piąte międzynarodowe warsztaty nt. zagadnień semantycznych i pojęciowych w systemach informacji geograficznej, Bruksela, Belgia

Szóste międzynarodowe warsztaty nt. zagadnień semantycznych i pojęciowych w systemach informacji geograficznej, Florencja, Włochy

Warsztaty nt. wybierania i analizy danych w portalach społecznościowych, Waszyngton, USA

Warsztaty nt. analizy semantycznej w portalach społecznościowych, Awinion, Francja

W dniach od 31 marca do 1 kwietnia 2012 r. w Tallinie, Estonia, odbędą się Dziesiąte warsztaty nt. ilościowych aspektów języków programowania.

Aspekty ilościowe w informatyce wiążą się z kwestiami ilości fizycznych (jak przestrzeń przechowywania, czas czy szerokość pasma) oraz ilości matematycznych (np. prawdopodobieństwo i miara wiarygodności, bezpieczeństwo i zaufanie). Te ilościowe wartości odgrywają główną rolę zarówno w definiowaniu architektury i projektowaniu języka oraz semantyki systemu, jak i w metodologiach i narzędziach analizy oraz weryfikacji właściwości systemu.

Warsztaty będą forum do przedyskutowania problematyki wykorzystywania informacji ilościowych, tak bezpośrednio w modelu, jak i w roli narzędzia do analizowania systemów. Poruszane będą następujące tematy:
- projektowanie probabilistycznych języków kwantowych funkcjonujących w czasie rzeczywistym oraz definiowanie modeli semantycznych dla tych języków;
- metodologie analizowania właściwości probabilistycznych, czasowych i innych wymiernych cech oraz wykorzystania zasobów;
- probabilistyczna analiza systemów, które nie posiadają eksplicytnych aspektów ilościowych;
- zastosowania w systemach krytycznych z punktu widzenia bezpieczeństwa, protokołach komunikacyjnych, systemach sterowania, układach asynchronicznych, sprzęcie oraz innych domenach obejmujących problemy ilościowe.

Za: CORDIS

komentuj publikację

Czy wiesz że...?

wersja BETA

Nadzór nad rynkiem kapitałowym część nadzoru nad rynkiem finansowym w Polsce obejmujący nadzór nad emitentami papierów wartościowych, firmami inwestycyjnymi (w tym domami i biurami maklerskimi), funduszami inwestycyjnymi i towarzystwami funduszy inwestystycyjnych, bankami powiernikami, maklerami i doradcami inwestycyjnymi, giełdami (w tym Giełdą Papierów Wartościowych w Warszawie) i depozytami papierów wartościowych (w tym Krajowym Depozytem Papierów Wartościowych). W latach 1991-2006 sprawowany przez Komisję Papierów Wartościowych i Giełd (do 1997 działającą pod nazwą Komisja Papierów Wartościowych), a od 2006 przez Komisję Nadzoru Finansowego. pełny tekst

Armeńska Giełda Papierów Wartościowych (ang.: Armenian Stock Exchange, ARMEX) giełda papierów wartościowych w Armenii; zlokalizowana w stolicy - Erywań. pełny tekst

Kamica żółciowa (łac. Cholelithiasis, choledocholithiasis, cholecystolithiasis) - choroba polegająca na powstawaniu tzw. złogów, czyli kamieni żółciowych w drogach żółciowych. Kamienie mogą być pojedyncze lub mnogie, przy czym mogą powstawać w samym pęcherzyku żółciowym lub w przewodach żółciowych wskutek wytrącania się z żółci złogów cholesterolu, bilirubiny, białka, węglanu wapnia i bilirubinianu wapnia. Kamica pęcherzyka żółciowego prowadzi często do jego przewlekłego zapalenia. Kamica przewodów żółciowych może powodować ich częściowe lub całkowite zatkanie, co prowadzi do żółtaczki mechanicznej; bywa też przyczyną ostrego zapalenia trzustki w wyniku zatkania przewodu trzustkowego. pełny tekst

Bułgarska Giełda Papierów Wartościowych (buł.: , ang. Bulgarian Stock Exchange) giełda papierów wartościowych w Bułgarii; zlokalizowana w stolicy kraju - Sofii. pełny tekst

Moduł "Czy wiesz że...?" (wersja testowa, beta): definicje/pojęcia wygenerowane w obrębie tego modułu pochodzą z Wikipedii i udostępniane są na licencji Creative Commons: uznanie autorstwa, na tych samych warunkach, z możliwością obowiązywania dodatkowych ograniczeń. Dostęp do pełnej wersji każdego hasła (oraz dokładnch informacji na temat licencji, autora oraz edycji) możliwy jest po kliknięciu w odnośnik opisany jako "pełny tekst".