Polski Serwis Naukowy - OnLine od 1999 roku
RSS
Czwartek, 24 maja 2012
Zula, Jan, Maria, Joanna
 1945: utworzono Uniwersytet Łódzki, Politechnikę Łódzką, Politechnikę Gdańską i Politechnikę Śląską
 1543: zmarł Mikołaj Kopernik, astronom polski
 1931: w Raszynie uruchomiona zostaje najsilniejsza w Europie stacja radiofoniczna (moc 120 kW), która swym zasięgiem obejmuje całą Polskę
Nowe publikacje
Dziesiąta międzynarodowa konferencja nt. formalnej analizy pojęć, Lowanium, Belgia
Dodano:
|2 Lut 2012|, 2012 17:17
|
|
|
W dniach 6 - 10 maja 2012 r. w Lowanium, Belgia, odbędzie się dziesiąta międzynarodowa konferencja nt. formalnej analizy pojęć.
Formalna analiza pojęć stanowi pryncypialny sposób automatycznego wyprowadzania zestawu pojęć ze zbioru obiektów i ich właściwości. Ten typ analizy odnosi się zarówno do nienadzorowanej techniki uczenia maszynowego, jak i szerzej, do metody analizy danych. Z biegiem lat formalna analiza pojęć stała się polem badawczym samym w sobie, którym zajmuje się stale rosnąca społeczność, z szybko rozszerzającym się zakresem zastosowań w przetwarzaniu informacji i wiedzy.
Celem konferencji będzie zgromadzenie razem naukowców i praktyków pracujących nad teoretycznymi lub stosowanymi aspektami formalnej analizy pojęć w powiązanych, głównych obszarach takich jak matematyka i jej różne zastosowania w dziedzinach takich jak programowanie, lingwistyka, nauki przyrodnicze i społeczne.
Za: CORDIS
Czy wiesz że...?
wersja BETA
Fenris to zestaw narzędzi służących do analizy programów, debugowania, analizy protokołów, inżynierii wstecznej, audytów bezpieczeństwa i wielu innych.
pełny tekst
Symbol terminalny w gramatyce formalnej symbol elementarny tworzący wyrazy języka formalnego. Symbole terminalne są znakami, które mogą pojawić się na wejściu lub wyjściu z reguł produkcji gramatyki formalnej. Symbol terminalny nie może być podzielony na mniejsze jednostki, lub ściślej: symbole terminalne nie mogą być zmieniane za pomocą reguł gramatyki formalnej, w odróżnieniu od symboli nieterminalnych.
pełny tekst
Augustin Louis Cauchy (ur. 21 sierpnia 1789 w Paryżu, zm. 23 maja 1857 w Sceaux pod Paryżem) francuski matematyk. Zapoczątkował projekt postulujący i przedkładający dowody twierdzeń analizy matematycznej w ścisłej formalnej postaci. Zawdzięczamy mu również kilka ważnych twierdzeń analizy zespolonej oraz zapoczątkowanie studiów nad grupami permutacyjnymi. Swą dogłębnością oraz precyzją Cauchy wywarł wielki wpływ na metodologię pracy ówczesnych matematyków oraz ich nowoczesnych następców. Jego publikacje obejmują w pełni ówczesną matematykę oraz fizykę matematyczną.
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".
|
|
|
^ |
|
 |
|
Komentarze: brak |
|
Powered by
phpBB © 2000, 2002, 2005, 2007 phpBB Group
|