Wyszukiwarka
Filtry
wszystkich: 706
-
Katalog
- Publikacje 226 wyników po odfiltrowaniu
- Czasopisma 16 wyników po odfiltrowaniu
- Osoby 11 wyników po odfiltrowaniu
- Projekty 2 wyników po odfiltrowaniu
- Aparatura Badawcza 1 wyników po odfiltrowaniu
- Kursy Online 404 wyników po odfiltrowaniu
- Wydarzenia 32 wyników po odfiltrowaniu
- Dane Badawcze 14 wyników po odfiltrowaniu
Wyniki wyszukiwania dla: JEZYK ZAPYTAŃ
-
Singlet exciton interactions in solid films of Alq3.
PublikacjaW pracy tej na podstawie pomiarów zależności wydajności fluorescencji od natężenia światła wzbudzjącego, wyznaczono stałą oddziaływania ekscyton singletowy - ekscyton singletowy w warstwie organicznego kompleksu aluminium Alq3.
-
Triplet exciton interactions in solid films of an elektrophosphorescent Pt(II) porphyrin
PublikacjaW pracy pokazano, że fosforescencja porfiryny platynowej (PtOEP) jest wygaszana na skutek oddziaływania między monomerowymi i dimerowymi ekscytonami trypletowymi. Stała oddziaływania dla monomerowych ekscytonów trypletowych wynosi 8x10-12 cm3/s a dla ekscytonów dimerowych 8x10-15 cm3/s.
-
Phosphorescence response to excitonic interactions in Ir organic complex-based electrophosporescent emitters
PublikacjaSpadek kwantowej wydajności fosforescencji ze wzrostem natężenia światła wzbudzajacego w Ir(ppy)3 tworzącym 100% warstwę naparowaną próżniowo oraz w Ir(ppy)3 umieszczonym w matrycy polimerowej PC:TPD, jest wywołany odziaływaniami między ekscytonami trypletowymi. Stała oddziaływania tryplet-tryplet wynosi (1-3)x 10-12 cm3/s i tylko nieznacznie zależy od stężenia Ir(ppy)3 w warstwie.
-
Ontology-Aided Software Engineering
PublikacjaThis thesis is located between the fields of research on Artificial Intelligence (AI), Knowledge Representation and Reasoning (KRR), Computer-Aided Software Engineering (CASE) and Model Driven Engineering (MDE). The modern offspring of KRR - Description Logic (DL) [Baad03] is considered here as a formalization of the software engineering Methods & Tools. The bridge between the world of formal specification (governed by the mathematics)...
-
System do prognozowania zanieczyszczeń środowiskiem weryfikacji ontologii
PublikacjaW rozdziale zaprezentowano stan badań prowadzonych nad zastosowaniem ontologii w modelu wieloagentowego systemu wspomagania decyzji. Przedstawiono model systemu, dobór środowiska weryfikacji ontologii oraz procesy weryfikacji z wykorzystaniem danych opisujących środowisko zanieczyszczeń powietrza w Gdańsku. Dobór środowiska weryfikacji wynikał z potrzeby wykorzystania powtarzalnych danych oraz ilościowej ich reprezentacji. Procesy...
-
Dbajmy o poprawność językową naszych prac i wypowiedzi
PublikacjaCelem opracowania jest zwrócenie uwagi czytelnika na problem braku dbałościo język polski oraz stosowanie poprawnej nomenklatury i terminologii chemi-cznej. W pracy zawarto najczęstsze przypadki usterek terminologicznych iprzejawy żargonu laboratoryjnego.
-
Concept of web service for real-time satellite imagery dissemination
PublikacjaW artykule zaproponowano system upowszechniania obrazów satelitarnych w czasie niemal rzeczywistym realizujący ideę oprogramowania jako usługi. System jest złożony z 4 logicznych modułów - modułu akwizycji danych, zarządzania, serwera Web oraz klienta. Protokół zapytań WCS jest wykorzystywany jako interfejs pomiędzy większością modułów. System tworzony jest z myślą o udostępnianiu danych dla zdalnych użytkowników w formie usługi...
-
Spor o sušestvovanii mira : vremâ i sposób sušestvovaniâ / Roman Ingarden ; przeł. Janina Kubka, Maxim W. Lebiediew
PublikacjaPrzekład na język rosyjski paragrafu 27 ''Wstępne uwagi o czasie konkretnym'', paragraf 28 ''Sposób istnienia zdarzeń'' i paragrafu 29 ''Sposób istnienia procesu''. Pierwszego Tomu ''Sporu o istnienie świata'' Romana Ingardena, wydanie Warszawa 1987.
-
Dariusz Mężyk
Osoby -
Artificjal environment for simulation of emergent behaviour
PublikacjaPrzedstawiono opracowane środowisko dla modelowania zjawisk, w których współdziałanie wielu prostych jednostek prowadzi do powstawania złozonych struktur. Sposób oddziaływania jednostki zawarty jest w jej strukturze, która interpretowana jest poprzez specjalnie zdefiniowany język podobny do Prologu.
-
Komputerowe wspomaganie zmian modernizowanych układów geometrycznych toru
PublikacjaW artykule przedstawiono opracowywany obecnie program komputerowy służący do obliczeń przesunięć toru i robót ziemnych związanych z modernizacją układów geometrycznych toru kolejowego. W pracy scharakteryzowano zastosowany język programowania oraz przedstawiono aktualny stan pracy nad programem.
-
Komputerowe wspomaganie zmian modernizowanych układów geometrycznych toru
PublikacjaW artykule przedstawiono opracowywany obecnie program komputerowy służący do obliczeń przesunięć toru i robót ziemnych związanych z modernizacją układów geometrycznych toru kolejowego. W pracy scharakteryzowano zastosowany język programowania oraz przedstawiono aktualny stan pracy nad programem.
-
Wykorzystanie WAP i WML w usługach bezprzewodowych.
PublikacjaOpisano schemat transakcji przy wykorzystaniu protokołu WAP. Zaprezentowano język znaczników WML dla urządzeń bezprzewodowych. Przedstawiono narzędzia służące do tworzenia aplikacji opartych o protokół WAP. Wskazano na kirunki rozwoju protokołu i inne standardy o podobnych funkcjach.
-
Wykorzystanie ontologii wzbogaconych o reguły logiczne w systemach integracji danych.
PublikacjaCelem systemów integracji danych jest dostarczenie jednolitego interfejsu do wielu, dostępnych w sieci heterogenicznychźródeł informacji. Wraz z rozwojem Internetu opracowanie metodologii zarządzania wiedzą poprzez systemy integracji danych stało się jednym z fundamentalnych problemów zarządzania informacją. W ramach inicjatywy semantic Web powstał język OWL (Web Ontology Language) umożliwiający opisywanie semantyki różnych danych....
-
Komputerowe wspomaganie zmian modernizowanych układów geometrycznych toru kolejowego z wykorzystaniem programu MUGO
PublikacjaW artykule przedstawiono opracowywany obecnie program komputerowy służący do obliczeń przesunięć toru i robót ziemnych związanych z modernizacją układów geometrycznych toru kolejowego w łukach. W pracy scharakteryzowano zastosowany język programowania oraz przedstawiono aktualny stan pracy nad programem MUGO.
-
Komputerowe wspomaganie zmian modernizowanych układów geometrycznych toru kolejowego z wykorzystaniem programu MUGO
PublikacjaW artykule przedstawiono opracowywany obecnie program komputerowy służący do obliczeń przesunięć toru i robót ziemnych związanych z modernizacją układów geometrycznych toru kolejowego w łukach. W pracy scharakteryzowano zastosowany język programowania oraz przedstawiono aktualny stan pracy nad programem MUGO.
-
Kalibracja i walidacja metody Mathara za pomocą Metody Elementów Skończonych
PublikacjaMetoda pomiaru naprężeń powierzchniowych przy pomocy rozet tensometrycznych i kontrolowanych odwiertów (metoda otworkowa) jest stosowana powszechnie w odniesieniu do stali izotropowych oraz silnie anizotropowych laminatów, natomiast nie została rozpoznana jej stosowalność do umiarkowanie anizotropowych stopów metali. W artykule opisane jest odniesienie wyników pomiarów wykonanych na płytach ze stali duplex do modelu numerycznego...
-
Quantum aspects of semantic analysis and symbolic artificial intelligence.
PublikacjaNowoczesne podejścia do analizy semantycznej, jeśli przeformułować je w język przestrzeni Hilberta, ujawniają formalne struktury znane z mechaniki kwantowej. Podobna sytuacja występuje w rozproszonych reprezentacjach struktur poznawczych rozwijanych na użytek sieci neuronowych. W pracy przyglądamy się różnicom i podobieństwom owych teorii do kwantowej teorii informacji.
-
Paweł Burdziakowski dr inż.
Osobydr inż. Paweł Burdziakowski jest specjalista w zakresie fotogrametrii i teledetekcji lotniczej niskiego pułapu, nawigacji morskiej i lotniczej. Jest również licencjonowanym instruktorem lotniczym oraz programistą. Głównymi obszarami zainteresowania jest fotogrametria cyfrowa, nawigacja platform bezzałogowych oraz systemy bezzałogowe, w tym lotnicze, nawodne, podwodne. Prowadzi badania w zakresie algorytmów i metod poprawiających...
-
Metody opisu ontologii: Wnioskowanie w ontologiach opartych na logice opisowej
PublikacjaLogika opisowa jest aktualnie jednym z najsilniej rozwijanych formalizmów stosowanych w ontologicznych metodach reprezentacji wiedzy. Jednym z powodów jest to, że język OWL-DL, promowany prze W3C jako język do reprezentacji ontologii Semantycznego Internetu, oparty jest właśnie na logice opisowej. W tym artukule zaprezentowano logikę opisową jako sposób precyzyjnego formułowania i przetwarzania wiedzy. Podano definicję bazy wiedzy...
-
Język hiszpański
Kursy Online -
Język szwedzki
Kursy Online -
Język włoski
Kursy Online -
System automatyzacji przeprowadzania i oceniania sprawdzianów studenckich
PublikacjaArtykuł prezentuje system pozwalający na przeprowadzenie sprawdzianów studenckich w wersji papierowej oraz na komputerach. Kluczowym aspektem systemu jest moduł umożliwiający przeprowadzenie oraz sprawdzenie tradycyjnego testu, którego pytania będą losowane z utworzonej wcześniej bazy (lub kilku baz) pytań. Trzema głównymi zadaniami aplikacji są następująco: tworzenie i edycja testów oraz zapisywanie ich w bazie pytań, generowanie...
-
Ontological queries supporting decision process in KaSea system
PublikacjaWraz z rozwojem baz wiedzy pojawiły się systemy ekspertowe, które wykorzystują je do wsparcia procesu podejmowania decyzji. Systemy Wsparcia Decyzyjnego (SWD), które są tematem niniejszego artykułu, komunikują się z bazami wiedzy, wypełniając je znanymi faktami i odczytując nowo wywnioskowane informacje. Jednakże istnieją sytuacje, w których SWD otrzymują niejednoznaczną odpowiedź od bazy wiedzy. Wówczas pojawia się potrzeba określenia,...
-
Ontological queries supporting decision process in KaSea system
PublikacjaWraz z rozwojem baz wiedzy pojawiły się systemy ekspertowe, które wykorzystują je do wsparcia procesu podejmowania decyzji. Systemy Wsparcia Decyzyjnego (SWD), które są tematem niniejszego artykułu, komunikują się z bazami wiedzy, wypełniając je znanymi faktami i odczytując nowo wywnioskowane informacje. Jednakże istnieją sytuacje, w których SWD otrzymują niejednoznaczną odpowiedź od bazy wiedzy. Wówczas pojawia się potrzeba określenia,...
-
Możliwości wyszukiwania dokumentów muzycznych utworzonych zgodnie z architekturą IODA
PublikacjaArtykuł przedstawia zagadnienie zastosowania dokumentów muzycznych utworzonych zgodnie z architekturą IODA (ang. Interactive Open Document Architecture). Dokumenty w architekturze IODA składają się z wielu plików powiązanych ze sobą semantycznie. Zależności te definiowane są w tzw. grzbiecie (ang. spine) dokumentu będącym plikiem w formacie XML (ang. eXtensible Markup Language). Dokumenty muzyczne tworzone zgodnie z architekturą...
-
Ontologie jako metoda reprezentacji wiedzy
PublikacjaLogika opisowa (ang. Description Logic - DL) jest aktualnie jednym z najsilniej rozwijanych formalizmów stosowanych w ontologicznych metodach reprezentacji wiedzy. Jednym z powodów jest to, że język OWL-DL, promowany przez W3C jako język do reprezentacji ontologii internetowych, opary jest właśnie na logice opisowej. W tym artykule zaprezentowano logikę opisową jako sposób precyzyjnego formułowania i przetwarzania wiedzy. Podano...
-
Cienie, cykl 'Odcinki' (1998)
PublikacjaKatalog aukcji polskiej sztuki współczesnej, która odbyła się w Domu Aukcyjnym Desa Unicum w Warszawie w dniu 15 grudnia 2011 roku. Katalog liczy 62 strony i zawiera noty biograficzne artystów wraz z charakterystyką twórczości w jezyku polskim, i zawiera 59 kolorowych reprodukcji (rep. autora s. 12). Wydawcą katalogu jest Desa Unicum.
-
Adam Smith
PublikacjaKsiążka omawia życie i twórczość Adama Smitha (1723-1790), zarówno opublikowaną za jego życia, jak i tę wydaną pośmiertnie oraz odtworzoną na podstawie notatek jego słuchaczy. W drugiej części zamieszczono wybór fragmentów tekstów najbardziej reprezentatywnych dla tego filozofa. Wśród nich znalazły się teksty tłumaczone po raz pierwszy na język polski.
-
Referat generalny do sekcji 8: zagadnienia wybrane elektroenergetyki
PublikacjaReferat generalny do sekcji 8 - zagadnienia wybrane elektroenergetyki. Przedstawiono listę pytań do autorów referatów.
-
KQL as Application of SQL Rationale for Knowledge Bases
PublikacjaW ramach inicjatywy Semantic Web rozwijane są systemy wnioskowania z wiedzy. Ciągle otwartym problemem są również języki dostępu do takich systemów. W artykule zaproponowano nowy język dostępu do zmodularyzowanych baz wiedzy, o cechach umożliwiających jego kompleksowe wykorzystaniew systemach zarządzania wiedzą, w sposób analogiczny do wykorzystania języka SQL w systemach relacyjnych baz danych.
-
Parallel scheduling by graph ranking
PublikacjaNr dokum.: 73017Praca dotyczy jednego z nieklasycznych modeli kolorowania grafów - uporządkowanego kolorowania. Celem było uzyskanie wyników, które mogo być wykorzystane w praktycznych zastosowaniach tego modelu, do których należą: równoległe przetwarzanie zapytań w relacyjnych bazach danych, równoległa faktoryzacja macierzy metodą Choleskiego, równoległa asemblacja produktu z jego części składowych. W pracy wskazano uogólnienia...
-
Trust-IT - a framework for trust cases
PublikacjaArtykul prezentuje wyniki uzyskane w ramach prac zmierzających do wytworzenia zintegrowanego srodowiska wspomagającego analizę zaufania do systemów i infrastruktur informatycznych. Elementy tego środowiska obejmują język i metodykę trorzenia i pielęgnacji dowodów zaufania (ang. trust case), mtode integrowania z nimi materiału dowodowego, narzędzia wspomagajace zarządzanie dowodami zaufania oraz scenariusze ich wykorzystania w różnych...
-
Quenching effects in organic electroluminescence
PublikacjaWe examine various electronic processes that underlie the quenching of the emission from highly efficient phosphorescent and electrophosphorescent organic solid-state molecular systems. As an example, we study the luminescent efficiencies from the phosphorescent iridium (III) complex, fac tris (2-phenylpyridine) iridium [(Ir (ppy)3] doped into a diamine derivative doped polycarbonate hole-transporting matrix and in the form...
-
Organic electroluminescent devices containing phosphorescent molecules in molecularly doped hole transporting layer.
PublikacjaW pracy opisano mechanizm świecenia diody dwuwarstwowej diody elektroluminescencyjnej (EL) o zewnętrznej kwantowej wydajności świecenia osiągającej 9% fot./elektron. Warstwę transportującą elektrony tworzyła pochodna osadiazolu (PBD) otrzymana metodąnaparowania próżniowego. Warstwę transportującą dziury uzyskano przez wylanie roztworu poliwęglanu(PC), dendrymeru aminowego m-MTDATAoraz fosforyzującego kompleksu irydu Ir(ppy)3 i...
-
R/EXAMS JAKO WSPARCIE W WERYFIKACJI WIEDZY STUDENTÓW
PublikacjaPrzydatność zasobów e-learningowych, takich jak testy i quizy online, można dostrzec w wielu sytuacjach: duża liczba studentów uczęszczających na dane zajęcia, utrwalanie, podsumowanie i weryfikacja wiedzy czy nauczanie na odległość. Celem artykułu jest zaprezentowanie pakietu R/exams dostępnego w programie statystycznym R jako wsparcia do tworzenia losowych i dynamicznych pytań oraz ich wykorzystania na platformie Moodle. Omówione...
-
Web Services Choreography Description Language - WSCDL.
PublikacjaJęzyk Web Services Choreography Description Language służy do opisu współpracy równy z równym. Został zaprojektowany z myślą o automatyzacji współpracy usług sieciowych, ale jest na tyle ogólny, że pozwala opisywać współpracę nie tylko w świecie komputerowym. Prezentowana jest geneza tego języka oraz jego model. Następnie opisana jest struktura języka poparta przykładem dokumentu napisanego w języku WSCDL.
-
Colour Terms in Five Linguistic Images of the World: The Semantic Perspective
PublikacjaSocial and cultural factors shape the linguistic perception of colour. At the same time, colour terms co-create the linguistic image of the world, which allows us to interpret reality and profile our statements and beliefs. This paper presents six basic colour terms: white, black, red, green, yellow, and blue (both as adjectives and as nouns) in the five different linguistic images of the world of the following languages: English,...
-
Residual stress evaluation in oil pipeline.
PublikacjaPrzedstawiono metodę pomiaru rozkładu naprężeń w ropociągu z wykorzystaniem efektu Barkhausena. Opisano procedurę pomiaru oraz kalibracji metody. Wynik potwierdzono w jednym punkcie metodą Mathar´a
-
Wnioskowanie z danych zapisanych w zewnętrznych źródłach w systemie zarządzania wiedzą
PublikacjaRozdział prezentuje proces wnioskowania z danych przechowywanych w zewnętrznych źródłach. W procesie tym wykorzystywane są dwie nowe metody: metoda semantycznego wzbogacania źródeł - SED (Semantic Enrichment of Data) oraz wykorzystująca ją metoda wnioskowania z danych zewnętrznych - RED (Reasoning over External Data). Obie te metody zostały w niniejszym rozdziale przedstawione. Metoda SED służy do opisania zewnętrznych źródeł danych...
-
System inteligentnej nawigacji sterowanej głosem
PublikacjaW pracy rozważa się zagadnienie wykorzystania inteligentnego systemu nawigowania oraz przeglądania serwisu Internetowego z wykorzystaniem głosu. Projekt, na podstawie przeglądu zagadnień, scala istniejące rozwiązania, które umożliwiają sterowanie portalem internetowym za pomocą głosu w języku angielskim. Użytkownik otrzymuje możliwość wydawania komend głosowych, a także zapytań odnośnie zawartości portalu. W odróżnieniu od wielu...
-
Modelowanie struktur sieci diagnostyczno-pomiarowych z wykorzystaniem języka SMOL
PublikacjaW artykule przedstawiono koncepcję własnego języka służącego do modelowania, a w przyszłości również do symulacji i optymalizacji struktur sieci diagnostyczno-pomiarowych. Język ten przeznaczony jest do wsparcia dedykowanego środowiska SMO, Sieciowego Monitora Obiektów, służącego do projektowania i symulacji wielokomputerowych systemów, które przeznaczone są do zarządzania w szerokim sensie (obserwacji, monitorowania, diagnozowania,...
-
Ontologiczna inżynieria wiedzy
PublikacjaOntologiczna inżynieria wiedzy jest dobrą podstawą metodologiczną, a ontologie dziedzin przedmiotowych ważnym elementem konstrukcyjnym semantycznych systemów reprezentacji wiedzy. W artykule omówiono budowanie ontologii w oparciu o edytor ontologii FluentEditor i język CNL (Controlled Natural Language). Przykładową ontologię dotyczącą fragmentu procesu produkcji rolniczej wykorzystano do budowy semantycznej bazy wiedzy. W tym celu...
-
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...
-
Fibroma, NOS - Female, 32 - Tissue image [6210730043075631]
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.
-
Reflexion etique sur l´action ekonomique
PublikacjaPraca pokazuje ważność pytań z zakresu etyki, stawianych wszelkiej przedsię-biorczości, działalności ekonomicznej w ujęciu historycznym. Jednocześniepraca usiłuje znaleźć przyczynę roztraygnięć etycznych współczesności.
-
<p>In vivo Studies on Pharmacokinetics, Toxicity and Immunogenicity of Polyelectrolyte Nanocapsules Functionalized with Two Different Polymers: Poly-L-Glutamic Acid or PEG</p>
Publikacja -
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...
-
Monitorowanie procesu wytwarzania oprogramowania z wykorzystaniem hierarchii agentów typu Web Farming.
PublikacjaW artykule przedstawiono zastosowanie technologii Web Farming do procesów zarządzania projektami informatycznymi w firmie komputerowej. Idea polega na nadzorowaniu przebiegu projektu w tle poprzez agentów uruchomionych na komputerach uczestników projektu. W celu zdefiniowania procesu, zwanego procesem SoFar, proponuje się język PMDL, który będzie podstawą także do generowania kodu agentów. Przedstawiono możliwości zastosowania...