|
|
|
Polski Serwis Naukowy - OnLine od 1999 roku
 RSS
Dodaj do:
Warto przeczytać: Od połowy stycznia można ponownie zgłaszać propozycje polskich innowacyjnych technologii ekologicznych, które będą promowane na całym świecie. Ze stworzonego przez resort środowiska tzw. akceleratora zielonych technologii GreenEvo korzysta już 13 firm.Te... W dniach 29-30 września 2010 r. w Barcelonie, Hiszpania, odbędą się warsztaty nt. systemów rekomendujących dla technologii wspomagających nauczanie.
Systemy rekomendujące często wykorzystują publicznie dostępne zbiory danych z różnych środowisk aplikacyjnych w celu oceny algorytmów rekomendowania. ... W najbliższą niedzielę (4 stycznia 2009r.) Ziemia znajdzie się najbliżej Słońca. Oba ciała będzie wtedy dzielił dystans 147.1 milionów kilometrów - poinformował dr Arkadiusz Olech z Centrum Astronomicznego PAN w Warszawie. W starożytności i ... Wariant genu przyczyniający się do stłuszczenia wątroby niezwiązanego z piciem alkoholu, uczestniczy również w rozwoju tej choroby u alkoholików - informują naukowcy z USA na łamach pisma "Nature Genetics".
Marskość wątroby jest chorobą, w której stopniowo n... Do 31 stycznia można zgłaszać kandydatów do nagrody Instytutu Matematycznego PAN. Zgłoszenia - z uzasadnieniem sygnowanym przez trzy osoby z tytułem profesora nauk matematycznych - powinny też zawierać życiorys kandydata i spis jego naukowych publikacji.Nagrody Instytutu Matematy...
Ostatnio na Forum:
Dyskusje
8
odp.
4
odp. Reklama:
 C.A.R. HoareCzy wiesz że...? Communicating Sequential Processes (CSP) – formalny język służący do opisywania wzorców interakcji w równoległych systemach obliczeniowych. CSP został po raz pierwszy opisany przez C. A. R. Hoare jednakże od czasu pierwszej publikacji został bardzo rozbudowany. CSP znajduje praktyczne zastosowanie jako narzędzie do określania i weryfikowania różnych aspektów funkcjonowania systemów równoległych. CSP jest cały czas przedmiotem aktywnych badań, w tym także pracy mającej na celu zwiększenie zakresu praktycznego zastosowania CSP (np. zwiększenie ilości systemów, które mogą być za jego pomocą analizowane). Sri Lanka (Demokratyczna Socjalistyczna Republika Sri Lanka) – państwo w Azji Południowej, na wyspie Cejlon (pod tą nazwą znane do 1972) wraz z mniejszymi przybrzeżnymi wyspami. Oddzielone od Półwyspu Indyjskiego cieśniną Palk i zatoką Mannar. Od wschodu oblewane przez Zatokę Bengalską, od południa otwartym Oceanem Indyjskim. Największe miasta kraju to: Kolombo, Dehiwala, Moratuwa, Dżafna, Kandy, Galle, Kalmunai. 
 Sir Charles Antony Richard Hoare (Tony Hoare, ur. 11 stycznia 1934 w Kolombo, Sri Lanka) - brytyjski informatyk, znany jako twórca algorytmu sortowania quicksort. Rozwinął także logikę Hoare'a służącą do weryfikowania poprawności programów oraz stworzył język formalny Communicating Sequential Processes (CSP) używany do specyfikowania interakcji współbieżnych procesów (zob. problem ucztujących filozofów). Przyczynił się także do powstania języka programowania Occam. W 1980 roku, w dowód uznania za wkład w rozwój języków programowania otrzymał nagrodę Turinga. Język programowania – zbiór zasad określających, kiedy ciąg symboli tworzy program (czyli ciąg symboli opisujący obliczenia) oraz jakie obliczenia opisuje.
Informatyk (łac. informare, -atum: obrazowo opisać) – osoba, która wykształciła się na specjalistę w dziedzinie nowych technologii, posiadającego wiedzę i umiejętności na temat ogółu metod tworzenia, przetwarzania i przekazu informacji oraz znającego budowę i zasady działania urządzeń komputerowych, a także potrafiącego tworzyć, przekształcać i przekazywać dane za pomocą programów komputerowych, wykorzystujących umieszczone w nich informacje do określonych działań. Zwykle jest to osoba o wysokim stopniu świadomości ogólnych i szczegółowych zasad tworzenia urządzeń i tworzenia oprogramowania, znająca języki programowania i potrafiąca stosować wiedzę teoretyczną w praktyce. Zapoznaj się również z: occam -- język programowania, opracowany w roku 1983 przez firmę INMOS, a będący praktyczną implementacją formalizmu CSP (z ang. Communicating Sequential Processes [1]). Język opracowany został i był przede wszystkim wykorzystywany jako narzędzie programowania transputerów. Nazwa pochodzi od nazwiska Williama Ockhama, kojarzonego z "brzytwą Ockhama".
Powyższa treść oraz zamieszczone w niej powiązane definicje/pojęcia - udostępniane są na licencji Creative Commons: uznanie autorstwa, na tych samych warunkach, z możliwością obowiązywania dodatkowych ograniczeń.
Zobacz szczegółowe informacje o warunkach korzystania
Wszystkie hasła znajdujące się w naszym mirrorze Wikipedii mają znaczenie informacyjne i edukacyjne. Nie mogą być traktowane jako porady. |
