Filters
total: 2193
-
Catalog
- Publications 1054 available results
- Journals 24 available results
- Conferences 24 available results
- Publishing Houses 6 available results
- People 231 available results
- Projects 8 available results
- Laboratories 6 available results
- Research Teams 5 available results
- Research Equipment 2 available results
- e-Learning Courses 646 available results
- Events 88 available results
- Open Research Data 99 available results
displaying 1000 best results Help
Search results for: JĘZYKI FORMALNE
-
Verrucous squamous cell carcinoma - Unknown, 36 - Tissue image [3300730069415711]
Open Research DataThis 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]
Open Research DataThis 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]
Open Research DataThis 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.
-
Patryk Jasik dr inż.
People -
Implementacja widoków danych na bazę wiedzy
PublicationNiniejszy artykuł opisuje koncepcję i implementacjęwidoków danych na bazę wiedzy. Widoki danych przesłaniają interfejsbazy wiedzy, w zamian udostępniając interfejs pozwalający na zadawaniezapytań do bazy wiedzy w języku SQL. Głównym przeznaczeniemtakich widoków jest ułatwienie integracji komponentów opartych nawiedzy z komponentami opartymi na danych, co może uprościć budowęsystemów korzystających z bazy wiedzy. W artykule zaprezentowanajest...
-
Uczenie na błędach w nauczaniu programowania w systemie e-learningu
PublicationJedną z kluczowych umiejętności, które muszą posiąść adepci programowania, stanowi umiejętność poprawiania kodu programu zawierającego błędy. Jest to działanie bardzo złożone, wymagające znajomości składni języka, rozumienia semantyki kodu, znajomości zasad testowania oraz rozumienia działania algorytmu. W artykule autor proponuje własną metodę kształtowania umiejętności poprawiania kodu programu wykorzystującą narzędzia do nauczania...
-
Wolność przemieszczania a polityka imigracyjna Holandii
PublicationOd 2015 r. Holandia zaproponowała wprowadzenia zmian w prawie imigracyjnym; polegają one na m. in. na karaniu imigrantów za nieprzestrzeganie holenderskich wartości, ograniczeniu dofinansowania muzułmańskich imigrantów, obowiązku nauki języka niderlandzkiego. Od 2016 r. wprowadzono zakaz noszenia burek w miejscach publicznych. Programy dla nowo przybyłych obejmują przede wszystkim aktywizację zawodową. Od 2015 r. wprowadzono restrykcyjną...
-
EMULACJA ŚRODOWISKA DLA ZASTOSOWANIA PROTOKOŁU IN-BAND NETWORK TELEMETRY
PublicationOkreślenie jakości obsługi strumieni pakietów w sieci przełączników wymaga odpowiedniego środowiska badawczego w którym prowadzi się doświadczenia i pomiary wybranych wielkości. Protokół In-band Network Telemetry jest jednym z narzędzi, które można wykorzystać do realizacji tych zadań. W pracy zaproponowano zwirtualizowane środowisko badawcze w którym można emulować sieć przełączników programowalnych w języku P4 wraz z implementacją...
-
Integracja modelowania i implementacji oprogramowania w metodzie IMAC.
PublicationDotychczasowa technologia wytwarzania oprogramowania akceptuje występowanie niespójności pomiędzy modelowaniem w języku UML a implementacją w obiektowych językach programowania. Metoda IMAC zapewnia spójność przez zastosowanie jednolitej notacji graficznej w całym projekcie informatycznym. Dzięki temu implementacja zostaje sprowadzona do uszczegółowienia diagramów projektowych i wygenerowania gotowego, funkcjonalnego kodu programu....
-
Improving flexibility and performance of PVM applications by distributed partial evaluation
PublicationA 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...
-
Współpraca aplikacji użytkowych.
PublicationPraca prezentuje podstawowe problemy współpracy aplikacji w architekturze wielowarstwowej. Przedstawiono podstawowe elementy protokołu SOAP, który w połączeniu z językiem XML wydaje się rozwiązywać spotykane wcześniej trudności.
-
Koncert Walentynkowy
EventsKwartet smyczkowy „Golden Gate String Quartet” wykona wraz z wokalistką Izabelą Krasucką znane utwory w niesamowitych aranżacjach.
-
Monika Badecka-Kozikowska dr
People -
Intercorrelation between CPTU-DMT tests for sands on the Baltic coast
PublicationNa podstawie badań terenowych opracowano szereg zależności między parametrami uzyskanymi z badania CPTU i DMT w czystych piaskach kwarcowych na Wybrzeżu Bałtyku. Uwzględniono wpływ historii geologicznej złoża oraz prekonsolidacji. Przedstawiono zależności dla piasków normalnie konsolidowanych i prekonsolidowanych. Prekonsolidacja i historia geologiczna bardziej wpływają na wyniki badania DMT niż CPTU. Zaproponowano oszacowanie...
-
Analiza numeryczna i badania doświadczalne kratownicy ze stężeniami
PublicationW niniejszej pracy przedstawione są wyniki badań eksperymentalnych i analiz numerycznych typowej kratownicy. Przeprowadzono analizę stateczności i nieliniową analizę statyczną dla modelu prętowego konstrukcji. Przedstawione zostały zależności między sztywnością stężeń, a siłą normalną w pasie ściskanym kratownicy odpowiadającą obciążeniu wyboczeniowemu. Wyznaczone zostały również siły w stężeniu powstające na skutek przyrostu obciążenia...
-
ENTERPRISE ACTIVITIES MODELING BY BPMN NOTATION
PublicationDepending on the process behavior, available know-how and organizational goals, different techniques and tools can be used for business process modeling. We concentrate on e-commerce, and try to find the best marketing strategy for the sales process improvement. In the paper we present the multilayer approach to define enterprise scenarios. This allows us to collect the suitable knowledge necessary for enterprise analysis and improvement....
-
Dariusz Mężyk
People -
Manifesty urbanistyczne. W poszukiwaniu współczesnego modelu miasta
PublicationPrzypominane w tym tomie manifesty urbanistyczne powstały w odpowiedzi na „szok urbanizacyjny” XIX i początku XX wieku, kiedy problemy wyrosłe z nienotowanego nigdy wcześniej wzrostu miast odsunęły na bardzo daleki plan wcześniejsze rozwiązania geometryczne jako nieadekwatne do palących problemów społecznych, ekonomicznych, technicznych i środowiskowych. Wizje miast zaczęli budować nie tylko, a może nawet nie przede wszystkim,...
-
Molecular picture of hydroxide anion hydration in aqueoussolutions studied by FT-IR ATR spectroscopy
PublicationHydratacja anionu hydroksylowego w wodnych roztworach wodorotlenków metali alkalicznych (LiOH, NaOH, KOH) została zbadana metodą spektroskopii oscylacyjnej FT-IR całkowitego wewnętrznego odbicia (ATR). Widma oscylacyjne wody dostarczają cennych informacji na temat stanu strukturalnego cząsteczek wody w sferach hydratacyjnych, wynikających ze sprzężeń oscylatorów w układzie. Wykazano, że drganie normalne rozciągające cząsteczki...
-
Safety assessment of ships in critical conditions using a knowledge-based system for design and neural network system
PublicationW pracy opisano wybrane elementy metody oceny bezpieczeństwa statków w stanie uszkodzonym, ukierunkowanej na ocenę osiągów statku i ocenę ryzyka. Metoda analizy osiągów i zachowania się statku w stanie uszkodzonym została wykorzystana do oceny charakterystyk hydromechanicznych statku uszkodzonego. Do oceny ryzyka wykorzystano elementy metodyki Formalnej Oceny Bezpieczeństwa. System ekspertowy został wykorzystany do analziy podziału...
-
A performance-oriented risk-based method for safety assessment of ships
PublicationW pracy przedstawiono wybrane informacje na temat metody oceny bezpieczeństwa statków w warunkach krytycznych. Metoda łączy podejście oparte na ocenie osiągów statku z podejściem opartym o ocenę ryzyka wypadku. Analiza ryzyka w metodzie oparta jest na zastosowaniu elementów Formalnej Oceny Bezpieczeństwa FSA. Analiza ryzyka w metodzie dotyczy: identyfikacji zagrożeń, oceny zagrożeń, identyfikacji scenariuszy wypadku, oceny ryzyka,...
-
Wstęp do fizyki ciał amorficznych
e-Learning CoursesW wykładzie przedstawione są podstawy fizyki ciał amorficznych, będącej aktualną i szybko rozwijającą się dziedziną fizyki.
-
Zdolni z Pomorza 2017/18 - Java i Android - podstawy programowania
e-Learning CoursesCel kursu: Celem kursu jest zapoznanie uczniów z podstawami w zakresie programowania w języku Java oraz z podstawami tworzenia aplikacji w środowisku Android. Opis kursu: Materiał przedstawiany na kursie będzie wprowadzał do zagadnień programowania w języku Java oraz środowiska Android. Od uczniów wymagana jest podstawowa wiedza w zakresie obsługi komputerów. Mile widziane są wcześniejsze doświadczenia w zakresie programowania...
-
Zdolni z Pomorza 2018/19 - Java i Android - podstawy programowania
e-Learning CoursesCel kursu: Celem kursu jest zapoznanie uczniów z podstawami w zakresie programowania w języku Java oraz z podstawami tworzenia aplikacji w środowisku Android. Opis kursu: Materiał przedstawiany na kursie będzie wprowadzał do zagadnień programowania w języku Java oraz środowiska Android. Od uczniów wymagana jest podstawowa wiedza w zakresie obsługi komputerów. Mile widziane są wcześniejsze doświadczenia w zakresie programowania...
-
Języki programowania wysokiego poziomu - projekt
e-Learning CoursesEiT studia I stopinia, sem. zimowy
-
Języki skryptowe i ich zastosowania
e-Learning Courses -
Obiektowe Języki Programowania I (2022)
e-Learning Courses -
Języki programowania obiektowego - studia niestacjonarne
e-Learning Courses -
Języki programowania na platformie .NET
e-Learning CoursesKurs dla kierunku Informatyka, I stopnień, inżynierskie sem. 7, studia stacjonarne. Prowadzący wykład/laboratorium: Tomasz Goluch, Krzysztof Manuszewski Email: goluch@eti.pg.edu.pl
-
Języki modelowania i symulacji - laboratorium
e-Learning Coursessem.5
-
Współczesne języki programowania 2020/2021
e-Learning Courses -
Obiektowe Języki Programowania I (2023)
e-Learning Courses -
Języki skryptowe i ich zastosowania
e-Learning Courses -
Języki modelowania i symulacji - wykład
e-Learning Coursessem.5
-
Języki skryptowe i ich zastosowania
e-Learning Courses -
Współczesne języki programowania 24/25
e-Learning Courses -
Completeness and Consistency of the System Requirement Specification
PublicationAlthough the System Requirement Specification, as a first formal and detailed document, is the base for the software project in classic software methodologies, there is a noticeable problem of assuring the completeness of this document. The lack of its completeness causes uncertainty of the project foundations. This was one of motivations for agile methodologies – if the SRS cannot be easily validated, if it can change in late project...
-
Język włoski
e-Learning Courses -
Język hiszpański
e-Learning Courses -
Język szwedzki
e-Learning Courses -
Application of Ontology In the ITIL Domain
PublicationBusiness standards tend to be less formal in description then strict technical norms. Authors of this chapter suggest applying ontological description (powered by the capabilities of the OWL language) to express Information Technology Infrastructure Library (ITIL). One of the goals of this initial study is to determine the usefulness of such semantic model in organizations that adopted or plan to adopt ITIL.
-
Ontologiczna inżynieria wiedzy
PublicationOntologiczna 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...
-
Conformance testing of parallel languages
PublicationPrzedstawiono propozycję formalizacji opisu procesu generacji, wykonania ioceny testów zgodności dla języków i bibliotek programowania równoległego, wzakresie zgodności funkcjonalnej i wydajnościowej. Przykłady ilustrujące proponowany formalizm wykorzystują platformę programowania Athapascan.
-
Musical Metadata Retrieval with Flow Graphs, in Rough Sets and Current Trends in Computing.
PublicationW pracy opisano metody wyszukiwania muzyki w Internecie w oparciu o opis semantyczny. W eksperymentach wykorzystano opis muzyczny stosowany w bazie CDDB. Zaprezentowano metodę grafów przepływowych zaproponowaną przez Pawlaka.
-
Razem i osobno
PublicationKatalog ilustrujący roczną działalność galerii BWA w Lublinie. Opisuje wystawy, które miały miejsce w galerii Labirynt w 2008 roku (m. in. wystawę "Razem i osobno" J. Buczkowskiego, K. Wróblewskiego i Z. Pidka).Katalog liczy 84 strony i zawiera teksty krytyczne w języku polskim i angielskim oraz 123 kolorowe reprodukcje prac artystów (prace autorów s. 59). Wydawcą katalogu jast Biuro Wystaw Artystycznych w Lublinie ISBN: 978-83-927473-4-5.
-
Modele semantyczne wymiany informacji o stanie systemu elektroenergetycznego
PublicationZaprezentowano Common Information Model CIM opracowany w Electric Power Research Institute EPRI w USA. Model ten wypełnia brak uniwersalnego języka opisu topologii i stanu sieci elektroenergetycznej. Stworzony został na potrzeby integracji narzędzi stosowanych przez podmioty sektora elektroenergetycznego. CIM wykorzystuje RDF Schema Definition (RDFS) i RDF. Na tle tego standardu przedstawiono własny zestaw pojęć mapujący meta-ontologię...
-
Algorytmy ewolucyjne w projektowaniu sieci MPLS
PublicationNiniejszy artykuł opisuje zrealizowane narzędzie, które umożliwia projektowanie sieci MPLS za pomocą Algorytmów Ewolucyjnych. Narzędzie to generuje ścieżki i optymalizuje alokację na nich przepływności żądań zapotrzebowań z uwzględnieniem klas obsługi strumieni ruchu z gwarancją zróżnicowanego QoS. Może także wybierać ścieżki do alokacji spośród danych wejściowych tak, aby wykorzystanie sieci było optymalne. Narzędzie to zostało...
-
Zdalne monitorowanie obiektów wyposażonych w instalację KNX
PublicationW artykule przedstawiono ideę i możliwości techniczne zdalnego monitorowania elementów instalacji elektrycznych wykonanych w standardzie KNX. Pokazano przykłady istniejących rozwiązań komercyjnych oraz ich ograniczenia. Zaprezentowano prototyp aplikacji opracowanej dla systemu Windows w języku C#, wykorzystującej bibliotekę Falcon do komunikacji z magistralą KNX. Umożliwia ona nadzór za pośrednictwem przeglądarki internetowej nad...
-
Internet as a new platform for delivery of microwave CAD services.
PublicationZaprezentowano aplikację przeznaczoną do syntezy filtrów rezonatorowych, która jest realizacją nowego sposobu myślenia związanego z rewolucją usług internetowych, które charakteryzują się niskim kosztem tworzenia oraz szybką i bezpieczną dystrybucją. Opisano stworzoną wielowarstwową aplikację, która gwarantuje łatwy, bezpieczny oraz ograniczony dostęp do aplikacji dla szerokiego kręgu osób. Zawarto w niej algorytm szybkiej syntezy...
-
The cartographer algorithm for processing and querying description logics ontologies
PublicationLogika opisowa jest jednym z najbardziej popularnych formalizmów opisu wiedzy. Jej popularność jeszcze wzrosła kiedy pojawił się standard języka OWL. W artykule zaprezentowano nowy algorytm wnioskowania - algorytm kartograficzny - umożliwiający wnioskowanie niejawnie podanej wiedzy z terminologii (TBox) i opisu świata (ABox). Opisano sposób przetwarzania ontologii w terminach sygnatur binarnych i efektywny sposób odpytywania ontologii...