Wyszukiwarka
Filtry
wszystkich: 850
-
Katalog
- Publikacje 442 wyników po odfiltrowaniu
- Czasopisma 2 wyników po odfiltrowaniu
- Wydawnictwa 1 wyników po odfiltrowaniu
- Osoby 38 wyników po odfiltrowaniu
- Wynalazki 8 wyników po odfiltrowaniu
- Projekty 5 wyników po odfiltrowaniu
- Zespoły Badawcze 6 wyników po odfiltrowaniu
- Aparatura Badawcza 1 wyników po odfiltrowaniu
- Kursy Online 251 wyników po odfiltrowaniu
- Wydarzenia 9 wyników po odfiltrowaniu
- Dane Badawcze 87 wyników po odfiltrowaniu
Wyniki wyszukiwania dla: przetwarzanie języka naturalnego
-
Etyczny model decyzyjny
PublikacjaW artykule usiłowałem przedstawić E. Sternberg koncepcję etycznego modelu decyzyjnego w korespondencji do zagadnienia ochrony środowiska naturalnego. Jest on (jako EMD) charakteryzowany wedle czterech kroków zaproponowanych przez E. Sternberg. Otóż w pierwszym kroku, "przedsiębiorstwo powinno odpowiedzieć sobie na pytanie" jakie zostały przedsiębrane działania w sprawie ochrony środowiska naturalnego. Następnie,...
-
Model of identification of events and accident scenarios for a method of risk and safety assessment of ships in damaged conditions
PublikacjaW pracy opisano podstawowe problemy związane z identyfikacją zdarzeń i scenariuszy wypadku oraz modelowaniem ryzyka dla alternatywnej metody oceny bezpieczeństwa statków w stanie uszkodzonym. Zastosowano podejście do bezpieczeństwa statków oparte na ocenie zachowania się statku i ocenie ryzyka wypadku. Wskazano możliwości zastosowania modelowania do analizy bezpieczeństwa statków na etapie projektowania, w czasie eksploatacji i...
-
Metodyka i wyniki geotechnicznych badań modelowych z wykorzystaniem techniki PIV
PublikacjaPrzedstawiono metodykę przygotowywania i wykonywania własnych badań modelowych w gruncie naturalnym i w ośrodku analogowym Taylor-Schneebeli, bez zbrojenia i ze zbrojeniem. Zamieszczono opis stanowisk badawczych używanych gruntów i zbrojenia oraz pomiarów przemieszczeń techniką PIV. Przedstawiono obszerne wyniki ilościowe i jakościowe badań modelowych stateczności fundamentów bezpośrednich posadowionych na zboczu z gruntu naturalnego...
-
Proekologiczne źródła energii odnawialnej.
PublikacjaPodano charakterystykę obecnego stanu środowiska naturalnego, omówiono odnawialne źródła energii:energię wody, wiatru, promieniowania słonecznego, energię geotermalną, otrzymywaną z biomasy i inne. Podano także podstawy termodynamiki, przemian energetycznych, metod przetwarzania energii na pracę i ciepło. Opisano również aktywne i pasywne systemy wykorzystania energii słonecznej, niskotemperaturowej konwersji energii mórz i oceanów,...
-
Non-regulated organic compounds (NROC's) in the Odra River water samples.
PublikacjaW ramach badań opisanych w pracy podjęto próbę identyfikacji lotnych i średniolotnych związków z grupy Non-Regulated Organic Compounds obecnych w próbkach wody rzecznej. Analizie poddano 25 próbek wód pobranych z rzeki Odry w październiku 2000, w trakcie VIII kampanii zorganizowanej w ramach International Odra Project (IOP). W badaniach wykorzystano technikę PT-TD-GC-MS.Komputerowa analiza widm masowych wykazała obecność wielu...
-
An attempt to identify volatile and semi-volatile organic compounds present in the Odra river waters.
PublikacjaCelem pracy była identyfikacja związków z grup lotnych i średniolotnych związkó organicznych. W badaniach wykorzystano technikę Pt-TD-GC-MS. Komputerowa analiza widm masowych wykazała obecność wielu związków organicznych pochodxenia naturalnego i antropogenicznego. W powłokach wód pobranych w okolicy Brzegu Dolnego oznaczono stężenia związków chloroorganicznych na poziomie pojedynczych prób. Nieco wyższe spektrum związków chloroorganicznych,...
-
Verrucous squamous cell carcinoma - Unknown, 36 - Tissue image [3300730069416181]
Dane BadawczeThis is the histopathological image of OTHER AND UNSPECIFIED PARTS OF TONGUE tissue sample obtained in Medical University Gdańsk and deposited in ZMDL-GUMED. The sample image was taken using: Pannoramic 250 3DHistech slide scanner (20x magnification) and saved to DICOM format.
-
Verrucous squamous cell carcinoma - Unknown, 36 - Tissue image [330073006941921]
Dane BadawczeThis is the histopathological image of OTHER AND UNSPECIFIED PARTS OF TONGUE tissue sample obtained in Medical University Gdańsk and deposited in ZMDL-GUMED. The sample image was taken using: Pannoramic 250 3DHistech slide scanner (20x magnification) and saved to DICOM format.
-
Verrucous squamous cell carcinoma - Unknown, 36 - Tissue image [3300730069415711]
Dane BadawczeThis is the histopathological image of OTHER AND UNSPECIFIED PARTS OF TONGUE tissue sample obtained in Medical University Gdańsk and deposited in ZMDL-GUMED. The sample image was taken using: Pannoramic 250 3DHistech slide scanner (20x magnification) and saved to DICOM format.
-
Verrucous squamous cell carcinoma - Unknown, 36 - Tissue image [3300730069411451]
Dane BadawczeThis is the histopathological image of OTHER AND UNSPECIFIED PARTS OF TONGUE tissue sample obtained in Medical University Gdańsk and deposited in ZMDL-GUMED. The sample image was taken using: Pannoramic 250 3DHistech slide scanner (20x magnification) and saved to DICOM format.
-
Verrucous squamous cell carcinoma - Unknown, 36 - Tissue image [3300730069413581]
Dane BadawczeThis is the histopathological image of OTHER AND UNSPECIFIED PARTS OF TONGUE tissue sample obtained in Medical University Gdańsk and deposited in ZMDL-GUMED. The sample image was taken using: Pannoramic 250 3DHistech slide scanner (20x magnification) and saved to DICOM format.
-
Verrucous squamous cell carcinoma - Unknown, 36 - Tissue image [3300730069412881]
Dane BadawczeThis is the histopathological image of OTHER AND UNSPECIFIED PARTS OF TONGUE tissue sample obtained in Medical University Gdańsk and deposited in ZMDL-GUMED. The sample image was taken using: Pannoramic 250 3DHistech slide scanner (20x magnification) and saved to DICOM format.
-
Verrucous squamous cell carcinoma - Unknown, 36 - Tissue image [3300730069412411]
Dane BadawczeThis is the histopathological image of OTHER AND UNSPECIFIED PARTS OF TONGUE tissue sample obtained in Medical University Gdańsk and deposited in ZMDL-GUMED. The sample image was taken using: Pannoramic 250 3DHistech slide scanner (20x magnification) and saved to DICOM format.
-
Verrucous squamous cell carcinoma - Unknown, 36 - Tissue image [3300730069415601]
Dane BadawczeThis is the histopathological image of OTHER AND UNSPECIFIED PARTS OF TONGUE tissue sample obtained in Medical University Gdańsk and deposited in ZMDL-GUMED. The sample image was taken using: Pannoramic 250 3DHistech slide scanner (20x magnification) and saved to DICOM format.
-
Możliwości komputerowego wspomagania interaktywnych ćwiczeń i testów.
PublikacjaArtykuł dotyczy tworzenia interaktywnych obiektów uczących w środowiskach zdalnego nauczania. Opisano zalecenia standardu SCORM dotyczące sposobu tworzenia obiektów z wykorzystaniem języka XML. Omówiono problemy z implementacją pytań i testów w interaktywnych materiałach dydaktycznych. Wyróżniono typy pytań i testów możliwe do realizacji w technologiach internetowych. Wskazano na konieczność budowy narzędzi, które umożliwią nauczycielom...
-
Hanna Obarska-Pempkowiak prof. dr hab. inż.
Osoby -
Improving flexibility and performance of PVM applications by distributed partial evaluation
PublikacjaA new framework for developing both flexible and efficient PVM applications is described. We propose Architecture Templates Interface (ATI) that allows to control application granularity and parallelism. To ensure high application efficiency we extend partial evaluation strategy into domain of distributed applications obtaining Distributed Partial Evaluation (DPE). Both ATI and DPE were implemented using a new distributed programming...
-
Platforma KASKADA jako system zapewniania bezpieczeństwa poprzez masową analizę strumieni multimedialnych w czasie rzeczywistym
PublikacjaW artykule przedstawiono Platformę KASKADA rozumianą jako system przetwarzania danych cyfrowych i strumieni multimedialnych oraz stanowiącą ofertę usług wspomagających zapewnienie bezpieczeństwa publicznego, ocenę badań medycznych i ochronę własności intelektualnej. celem prowadzonych prac było stworzenie innowacyjnego systemu umozliwiajacego wydajną i masową analizę dokumentów cyfrowych i strumieni multimedialnych w czasie rzeczywistym...
-
Stosowanie metryk wiarygodności danych w celu integracji usług sieciowych
PublikacjaArtykuł poświęcony jest problemowi sprzeczności danych występujących w wyniku korzystania z usług sieciowych. Sprzeczności te uniemożliwiają poprawne przetwarzanie danych i powodują błędy w działaniu aplikacji opierających się na integracji usług sieciowych. W artykule przedstawiona jest metoda rozwiązania problemu sprzeczności opierająca się na identyfikowaniu niewiarygodnych źródeł danych i wykluczaniu danych podawanych przez...
-
Wykorzystanie energii słonecznej - konwersja fototermiczna i fotowoltaiczna- nowe perspektywy.
PublikacjaW pracy przedstawiono nowe perspektywy wykorzystania energii słonecznej.Wskazano na możliwości uzyskania zarówno energii cieplnej do ogrzewania domów i zaopatrywania ich w ciepłą wodę użytkową, jak i energii elektrycznej za pomocą kolektorów słonecznych i ogniw fotowoltaicznych w Polsce. Omówiono kierunki rozwoju technologii solarnych na świecie i obecny poziom wykorzystania ich w krajach Unii Europejskiej. Wskazano na...
-
Wpływ pracy doświadczalnego reaktora jądrowego na krajowe środowisko naturalne
PublikacjaW artykule, na podstawie raportów oceny stanu ochrony radiologicznej eksploatowanych źródeł technologii jądrowych, przedstawiono wpływ pracy doświadczalnego reaktora jądrowego na krajowe środowisko naturalne. Korzystając z analiz wyników pomiarów przeprowadzonych w ostatnich 15 latach, przedstawiono trendy zmian w wybranych elementach środowiska naturalnego na terenie i w otoczeniu ośrodka Świerk. Ponadto zaprezentowano wpływ...
-
Wpływ pracy doświadczalnego reaktora jądrowego na krajowe środowisko naturalne
PublikacjaW artykule przedstawiono wpływ pracy doświadczalnego reaktora jądrowego na krajowe środowisko naturalne w oparciu o raporty stanu oceny radiologicznej eksploatowanych źródeł technologii jądrowych. Na podstawie analizy wyników pomiarów z ostatnich piętnastu lat przedstawiono trendy zmian w wybranych elementach środowiska naturalnego na terenie i w otoczeniu ośrodka Świerk. Ponadto zaprezentowano wpływ wyników badań z piętnastoletniego...
-
Metodologiczne aspekty opisowego modelowania w naukach ekonomicznych
PublikacjaPrzedmiot badań ekonomicznych, jako system złożony, podlega modelowaniu. Etapy dekompozycji i jakościowego opisu modelowanego systemu, w tym systemu gospodarczego, są nieodzowne w prawidłowym prowadzeniu badań naukowych. Z drugiej strony modelowanie w ekonomii nie powinno być pozbawione matematycznego języka opisu, ponieważ konstruując model wyjaśniający, należy posługiwać się zarówno modelem opisowym, jak i sformalizowanym. Tak...
-
Systemy ekspertowe wykorzystujące język korzyści do projektowania nowoczesnych technologii dla osób starszych
PublikacjaCelem artykułu jest próba znalezienia podejścia ułatwiającego projektowanie/dostosowanie nowoczesnych technologii dla osób powyżej 65 roku życia. Do projektowania zdecydowano się wykorzystać język korzyści i systemy ekspertowe. W pierwszej części artykułu opisane zostały statystyki związane z użytkowaniem Internetu przez osoby starsze na przestrzeni siedmiu lat. Druga i trzecia część została poświęcona przybliżeniu pojęcia systemów...
-
Verrucous squamous cell carcinoma - Unknown, 36 - Tissue image [3300730069419661]
Dane BadawczeThis is the histopathological image of OTHER AND UNSPECIFIED PARTS OF TONGUE tissue sample obtained in Medical University Gdańsk and deposited in ZMDL-GUMED. The sample image was taken using: Pannoramic 250 3DHistech slide scanner (20x magnification) and saved to DICOM format.
-
Modelowanie, monitorowanie i sterowanie
PublikacjaArtykuł przedstawia przegląd najnowszych wyników prac prowadzonych w obszarach modelowania, monitorowania i sterowania systemami wodociągowymi i ściekowymi.Ze względu na palące potrzeby kompleksowej ochrony środowiska naturalnego systemy wodociągowe i ściekowe sa przedmiotem intensywnych prac badawczych oraz wdrożeniowych. Spełnienie wysokich wymagań jakości oczyszczanych ścieków oraz wody pitnej, przy jednoczesnej minimalizacji...
-
Zagrożenie środowiska ze strony człowieka
PublikacjaOpisano główne zagrożenia ze strony człowieka dla środowiska naturalnego. Podkreslono znaczenie czystego powietrza i czystej wody dla pawidłowego funkcjonowania ekosystemów, w tym człowieka. Omówiono zanieczyszczenie powietrza ''kwaśnymi gazami'' oraz pyłami, emisję do środowiska metali ciężkich, freonów, i związane z tym problemy powstawania dziury ozonowej oraz efektu cieplarnianego. Omówiono również zanieczyszczenie wód lotnymi...
-
Wpływ składu granulometrycznego zawiesin w ściekach opadowych na skuteczność usuwania zanieczyszczeń w obiekcie hydrofitowym
PublikacjaCelem badań była analiza wpływu składu granulometrycznego zawiesin doprowadzanych wraz ze ściekami opadowymi na efektywność usuwania zanieczyszczeń w kolejnych stopniach oczyszczania zachodzącego w systemie hydrotechniczno- hydrofitowym (staw retencyjny + złoże trzcinowe). Zastosowany system oczyszczania złożony ze stawu retencyjnego i złoża trzcinowego jest systemem sprawnie usuwającym zawiesiny ogólne. Zarówno skład jak i wielkość...
-
Wykorzystanie nowoczesnych narzędzi CAD/CAM/CAE do projektowania kadłuba statku o napędzie hybrydowym
PublikacjaW sektorze transportu ludzi i towarów odbywa się obecnie ogromny postęp wywołany głównie za sprawą wysokich cen paliw i różnego rodzaju podatków ekologicznych. Wprowadzane sukcesywnie regulacje prawne, mające zmniejszyć emisje substancji szkodliwych dla człowieka i środowiska naturalnego, w znacznym stopniu zmuszają zarówno producentów, jak i odbiorców do poszukiwania rozwiązań technicznych bardziej efektywnie wykorzystujących...
-
Połączenie śródlądowe Gdańsk - Elbląg
PublikacjaTransport wodny jako najtańszy, najbezpieczniejszy i najmniej uciążliwy dla środowiska naturalnego. Rewitalizacja istniejącej i nowobudowanej infrastruktury przeładunkowo-logistycznej śródlądowych portów handlowych dzięki przywróceniu regularnej żeglugi towarowej. Transport wodny jako najbardziej ekologiczny rodzaj transportu. Charakterystyka Delty Wisły, koncepcja rozwoju drogi wodnej na odcinku Gdańsk - Elbląg. Bariery utrudniające...
-
Badania potencjału energetycznego pozostałości poprodukcyjnej z hodowli boczniaka
PublikacjaNiniejsze opracowanie dotyczy badań potencjału energetycznego biomasy, obecnie trzeciego co do wielkości naturalnego źródła energii na świecie. Energia zawarta w biomasie jest najmniej kapitałochłonnym źródłem energii odnawialnej. Jej pozyskiwanie nie wiąże się z wprowadzaniem zanieczyszczeń do środowiska, przy okazji istnieje możliwość pozbycia się kłopotliwych odpadów poprodukcyjnych. Jednak pozyskiwanie energii z biogazu jest...
-
Перевод английских заглавий фильмов в Польше и в России
PublikacjaArtykuł jest poświęcony problemowi przekładu angielskich tytułów filmowych, które w polskiej dystrybucji figurują pod nazwami oryginalnymi bądź zostały przetłumaczone tylko częściowo. Autorka wychodzi od poziomu znajomości języka angielskiego zarówno w Polsce, jak i w Rosji, który w pewnym stopniu może wpływać na wspomnianą praktykę, a następnie podaje przykłady tytułów, które z różnych powodów nie zostały przełożone na język polski...
-
Integracyjna metoda konstruowania aplikacji
PublikacjaZaproponowano metodę wytwarzania oprogramowania IMAC, która może stanowić pewien przełom w inżynierii oprogramowania na miarę jaką stanowiło wprowadzenie języków obiektowych zwłaszcza dla aplikacji rozproszonych do zastosowań biznesowych. W metodzie tej proponuje się ścisłe powiązanie analizy, projektu i implementacji w jednym, spójnym środowisku graficznym i stosowanie wspólnego języka modelowania i implementacji IML. Głównym...
-
Timing diagrams functionalities in information systems modeling with UML 2
PublikacjaArtykuł prezentuje aktualną klasyfikację diagramów interakcji języka UML 2 i przedstawia właściwości nowego diagramu tj. diagram harmonogramowania. W artykule omówiono ich istotę oraz podstawowe i zaawansowane kategorie ich modelowania. Diagram ten umożliwia reprezentowanie na osi czasu zmian dopuszczalnych stanów klasyfikatorów uczestniczących w interakcji. Możliwość harmonizacji linii zmian stanów dla większej liczby klasyfikatorów...
-
Zbigniew Kaźmierczyk dr hab.
OsobyDr hab. Zbigniew Kaźmierczyk, profesor nadzwyczajny, literaturoznawca, pracuje w Zakładzie Historii Literatury Instytutu Filologii Polskiej na Wydziale Filologicznym Uniwersytetu Gdańskiego; kierownik Pracowni Literatury Etnogenetycznej, prezes Oddziału Gdańskiego Towarzystwa Literackiego im. Adama Mickiewicza i wiceprezes Pomorskiego Towarzystwa Filozoficzno-Teologicznego. Ukazał gnostycko-manichejski wymiar egzystencji w twórczości...
-
MIKROBIOLOGIA OGÓLNA
Kursy OnlineWykłady z mikrobiologii ogólnej dotyczą naturalnego środowiska mikroorganizmów, interakcji z fauną i florą oraz pomiędzy drobnoustrojami, budowy komórkowej, metabolizmu, taksonomii, warunków wzrostu, cech morfologicznych, zastosowania w badaniach naukowych, zastosowaniach przemysłowych w różnych gałęziach przemysłu, wpływu mikroorganizmów na ludzi, znaczenia w ochronie środowiska oraz badaniach ekologicznych dotyczących np. teorii...
-
Dobór usług w środowiskach agentowych
PublikacjaPrzetwarzanie wszechobecne (ang. pervasive computing) zakłada zanurzenie użytkowników w przestrzeni inteligentnej, której elementami stają się przedmioty i urządzenia powszechnego użytku. W swoich założeniach przestrzeń ta ma dopasowywa się do użytkownika w sposób w pełni automatyczny, jednakże aby tak było, potrzebna jest seria nierzadko złożonych interakcji na styku użytkownik-przestrzeń inteligentna.Model agentowy, którego...
-
Propagowanie elektrotechniki w latach 20 i 30 XX wieku na przykładzie samouczków technicznych Wydawnictwa Brunona Kotuli
PublikacjaW artykule przedstawiono serię Samouczków technicznych, wydawanych w latach 20 i 30 XX wieku w Cieszynie przez znanego księgarza i wydawcę Brunona Kotulę. Seria obejmuje ok. 135 pozycji, z czego znaczną część poświęcono różnorodnym tematom związanym z elektrotechniką. Opisano przykładowe rozwiązania propagowane w Samouczkach, takie jak budowę induktora Ruhmkorffa, pozwalającego uzyskać wysokie napięcie, budowę transformatora Tesli,...
-
Emisja odorów w procesie produkcji oraz przetwórstwa olejów roślinnych
PublikacjaUciążliwość odorowa jest rozległym problemem związanym zarówno z tematyką ochrony środowiska jak i zdrowia ludzkiego. Znaczną część źródeł emisji odorów do powietrza stanowi sektor spożywczy. Jednym ze źródeł jest szeroko pojęte przetwórstwo olejowe, na które składa się proces produkcji przemysłowej oraz domowe przetwarzanie. W niniejszym artykule omówione zostały poszczególne procesy produkcji olejów roślinnych ze szczególnym...
-
Web-based GIS as a tool for supporting marine research
PublikacjaZbieranie danych morskich podczas badań hydroakustycznych jest złożonym zadaniem, na które składają się nie tylko pomiary, ale także analiza, weryfikacja i interpretacja informacji uzyskanych przez różne czujniki. Automatyczna integracja, wizualizacja i przetwarzanie zgromadzonych danych pozwala na bardziej precyzyjne rozpoznanie badanych zjawisk. W pracy przedstawiono dedykowany sieciowy system syntezy i rozpowszechniania danych...
-
MOŻLIWOŚCI IDENTYFIKACJI STANU TECHNICZNEGO WARSTW ŚLIZGOWYCH ŁOżYSK SILNIKÓW SPALINOWYCH O ZAPŁONIE SAMOCZYNNYM W PRZYPADKU WYKORZYSTANIA EMISji AKUSTYCZNEJ JAKO SYGNAŁU DIAGNOSTYCZNEGO
PublikacjaW artykule zaprezentowano wyniki badań wielowarstwowych panwi łożysk ślizgowych silników tłokowych. Scharakteryzowano własności obciążeń tego rodzaju panwi oraz ich zużycia szczególnie zmęczeniowego i ściernego. Wykazano przydatność emisji akustycznej jako sygnału diagnostycznego do ujawniania zużycia powłok ślizgowych i zaporowych. Przedstawiono wyniki pomiarów parametrów emisji akustycznej, wykonanych za pomocą 12- kanałowej...
-
SYSTEM IDENTYFIKACJI SZUMÓW RTS TRANSOPTORÓW CNY17
PublikacjaW artykule opisano zaprojektowany i wykonany system do identyfikacji szumów wybuchowych (RTS – Random Telegraph Signal) występujących w transoptorach typu CNY17. Z metod umożliwiających ocenę parametrów szumów wybuchowych wybrano do realizacji metodę Wzorów Obrazów Szumów – WOS (ang. Noise Scattering Patterns – NSP), która w sposób bardzo prosty pozwala na rozpoznawanie szumów o rozkładach wartości chwilowych gaussowskich i niegaussowskich....
-
Szerokopasmowe właściwości energoelektronicznych elementów indukcyjnych
PublikacjaPrzetwarzanie energii we współczesnych układach energoelektronicznych odbywa się przy coraz wyższych częstotliwościach przełączeń. Ze względu na występujące coraz wyższe harmoniczne oraz dodatkowe zjawiska związane z kompatybilnością elektromagnetyczną, analizy pracy tych układów jest wymagana w coraz szerszym paśmie częstotliwości. Zaprezentowany szerokopasmowy model obwodowy elementów indukcyjnych stosowanych w układach energoelektronicznych...
-
Udział transportu w zanieczyszczaniu powietrza w miastach na przykładzie Gdańska.
PublikacjaTransport, przede wszystkim samochodowy, jest obok przemysłu głównym czynnikiem wpływającym na kondycję powietrza jak i cełego środowiska naturalnego w miastach.Gdańsk jest jednym z miast, gdzie zatłoczenie motoryzacyjne i wynikająca z tego emisja środków szkodliwych spowodowały podjęcie prac nad ustaleniem działań w celu ograniczenia zanieczyszczeń powietrza - pochodnych transportu. Przyjęcie odpowiednich celów i szczegółowych...
-
Zmiany stężeń siarczanów w wodach podziemnych piętra czwartorzędowego Gdańska na Tarasie Nadmorskim = The sulphates concentration in the quaternary aquifer of the marine terrace in Gdańsk
PublikacjaDługoletnia eksploatacja wód podziemnych czwartorzędowego piętra wodonośnego na Tarasie Nadmorskim doprowadziła do zmian składu chemicznego pobieranej wody. Zmiany te można ocenić m.in. na podstawie zawartości jonu siarczanowego, uważanego za jeden ze wskaźników antropopresji. W tym celu określono naturalne i aktualne tło hydrogeochemiczne oraz porównano ich zakresy. Stwierdzono wzrost stężeń jonu siarczanowego, różny jednak na...
-
A model-based approach to analysis of authentication protocols.
PublikacjaW referacie przedstawiono zintegrowane podejście do analizy protokołów uwierzytelniania o nazwie Object-oriented Formal Authentication Protocol Security Analysis Framework (OF-APSAF). Podejście to jest zaprojektowane na bazie sprawdzonej metody formalnej CSP wraz z narzędziami ją wspierającymi: Casper oraz FDR. Jego integralną częścią jest półformalna zorientowana obiektowo technika modelowania protokołów, ich kontekstu oraz wymagań...
-
Dynamic Perfect hashing with finite-state automata
PublikacjaMinimalna doskonała funkcja mieszająca dostarcza odwzorowania zbioru n niepowtarzalnych słów w zwarty zakres n liczb całkowitych. Gdy jest realizowane za pomocą automatów skończonych, odwzorowanie wynika z porządku słów (zwykle alfabetycznego) w zbiorze. Dodanie nowych słów zmieniłoby porządek słów rozpoznawanych przez automat, zmieniając całe odwzorowanie i czyniąc je bezużytecznym w wielu dziedzinach. Dlatego nazywamy je statycznym....
-
Designing world closures for knowledge-based system engineering
PublikacjaWraz z rozwojem komponentów opartych na wiedzy przed inżynierami oprogramowania postawione zostały nowe zadania. Jednym z nich jest zintegrowanie tych komponentów z innymi standarodowymi komponentami. Zrealizowanie tego zadania wymagało zdefiniowania języka komunikacji pomiędzy różnymi komponentami w celu wymiany informacji. W artykule omówiono problem wymiany informacji pomiędzy komponentami opartymi na wiedzy i komponentami opartymi...
-
Podstawy programowania 2022/23 (ACiR + EiT + IBm)
Kursy OnlinePrzedmiot Podstawy programowania dla trzech kierunków ACiR, EiT i IBm. W ramach przedmiotu student zapozna się z podstawowymi technikami programowania oraz z elementami języka C i C++.
-
Podstawy programowania 2021/22 (ACiR + EiT + IBm)
Kursy OnlinePrzedmiot Podstawy programowania dla trzech kierunków ACiR, EiT i IBm. W ramach przedmiotu student zapozna się z podstawowymi technikami programowania oraz z elementami języka C i C++.