Wyszukiwarka
Filtry
wszystkich: 2242
-
Katalog
- Publikacje 1059 wyników po odfiltrowaniu
- Czasopisma 24 wyników po odfiltrowaniu
- Konferencje 24 wyników po odfiltrowaniu
- Wydawnictwa 6 wyników po odfiltrowaniu
- Osoby 240 wyników po odfiltrowaniu
- Projekty 8 wyników po odfiltrowaniu
- Laboratoria 6 wyników po odfiltrowaniu
- Zespoły Badawcze 5 wyników po odfiltrowaniu
- Aparatura Badawcza 2 wyników po odfiltrowaniu
- Kursy Online 680 wyników po odfiltrowaniu
- Wydarzenia 89 wyników po odfiltrowaniu
- Dane Badawcze 99 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: JĘZYKI FORMALNE
-
Metodologia projektowania programów edukacyjnych zorientowanych problemowo z wykorzystaniem bazy wiedzy.
PublikacjaOpisano prototyp programu, który może posłużyć do sprawdzania poprawności sposobu rozwiązywania zadań z elementarnej matematyki lub fizyki. Program tem umożliwia ponadto wygenerowanie wszystkich sposobów rozwiązania zadania. Omówiono program komputerowy CorrectWay, który realizuje wczesniej wymienione funkcje. artykuł zakończono wskazaniami kierunków dalszego rozwoju tego programu.
-
International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
Konferencje -
International Workshop on Formal Methods for Parallel Programming: Theory and Applications
Konferencje -
Adult rhabdomyoma - Female, 14 - Tissue image [3160630007333451]
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.
-
CMMI - an Assurance of Transferability of Knowledge andProjects in a Distributed Enterprise
PublikacjaCMMI (Capability Maturity Model Integrated)is a reference model fordefining and performing processes in software and systems engineeringorganizations.An organization implementing CMMI,among other things,assures thatacit knowledge is properly externalized into formal knowledge.This externalization gives an organization opportunity to assure that knowledge and development projects are easily transferable across adistributed enterprise...
-
Impact of Energy Slope Averaging Methods on Numerical Solution of 1D Steady Gradually Varied Flow
PublikacjaIn this paper, energy slope averaging in the one-dimensional steady gradually varied flow model is considered. For this purpose, different methods of averaging the energy slope between cross-sections are used. The most popular are arithmetic, geometric, harmonic and hydraulic means. However, from the formal viewpoint, the application of different averaging formulas results in different numerical integration formulas. This study...
-
Projekt fakultatywny I SAUP konkurs 2022/23
Kursy OnlineOpracowanie projektu architektonicznego obiektu witacza jako elementu realizującego Strategię Promocji Turystyki dla Międzynarodowych Tras Rowerowych EuroVelo 10/13, EuroVelo 9/WTR oraz dla trasy nr 20 w Województwie Pomorskim. Witacze mają być zlokalizowane na wjazdach do naszego województwa oraz w charakterystycznych lokalizacjach na trasie. Zajęcia prowadzone będą w formule konkursu studenckiego z nagrodami pieniężnymi, praca...
-
The impact of institutions on innovation networks: empirical evidence from Poland
PublikacjaInnovation networks may accelerate and improve the innovation process, while institutional pathologies may hamper it. This study employs the Kruskal-Wallis H test and regression analysis to determine if the relationship between institutions and innovation networks does exist among the investigated variables. The purpose of the study was to find out whether cooperation with special local institutions influences the innovative behaviour...
-
Cyfrowa biblioteka dokumentów muzycznych
PublikacjaW pracy przedstawiono główny cel projektu badawczego Moniuszko, będacego projektem i realizacją interaktywnej biblioteki cyfrowej dokumentów muzycznych. W pracy przedstawiono również koncepcję cyfrowego dokumentu muzycznego, a także wskazano standard MPEG-7, jako najlepiej spełniający wymogi opisu tych dokumentów. Zaproponowano rozszerzenie tego standardu o możliwość pełnego opisu bibliograficznego dokumentu muzycznego, a także...
-
Problems of reinforcement designing for plates
PublikacjaPrzedstawiono problem projektowania zbrojenia nietrajektorialnego płyt w aspekcie ich odkształcalności. Na podstawie niektórych wyników badań doświadczalnych, przeprowadzonych na żelbetowych płytach skręcanych, zweryfikowano procedury wymiarowania. Analiza wykazuje, że pomimo formalnego zapewnienia nośności przekroju płyt nietrajektorialnie zbrojonych, ich odkształcalność znacznie wzrasta. Aby zapewnić im sztywność na poziomie...
-
Ciekawe i niezwykłe eksperymenty fizyczne
Publikacjaw pracy zaprezentowano szereg eksperymentów z różnych działów fizyki (mechanika, elektryczność, optyka), które mogą zainteresować i zainspirować wielu odbiorców. W przypadku eksperymentów pokazowych na ich percepcję wpływa nie tylko ich potencjał informatyczny, ale też sposób ich prezentacji a przede wszystkim umiejętność rozbudzenia zaciekawienia u słuchaczy.
-
Formaty zapisu cyfrowych dokumentów muzycznych
PublikacjaW pracy zwrócono uwagę na problem przechowywania różnych postaci muzyki występujących w cyfrowych dokumentach muzycznych. Przedstawiono ogólną charakterystykę istniejących formatów zapisu danych muzycznych oraz wybrane cyfrowe formaty muzyczne. Przedstawiono również propozycję stworzenia uniwersalnego formatu opisu danych muzycznych w oparciu o istniejący standard MPEG-7.
-
Adult rhabdomyoma - Female, 14 - Tissue image [316063000733961]
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.
-
A. Soczyńska Kolo języka niemieckiego
Kursy Online -
Investigations of methods to measure longitudinal forces in continuous welded rail tracks using the tamping machine.
PublikacjaPraca przedstawia w sposób poglądowy próby znalezienia efektywnej metody określania sił podłużnych w szynach toru bezstykowego. Szczególną uwagę poświęcono metodzie wymuszonych przemieszczeń poprzecznych. Podstawowym stwierdzeniem z przeprowadzonych własnych badań była konieczność odejścia od podnoszenia odłączonego od podkładów odcinka szyny i skoncentrowanie się na przemieszczeniach poprzecznych; doprowadziło to koncepcji zastosowania...
-
Obliczenia numeryczne w analizach hydraulicznych istniejących systemów kanalizacji deszczowej i mieszanej z wykorzystaniem programu TFD (Tube Flow Drain)
PublikacjaProgramowanie inżynierskie jako nieodłączny element prac związanych z optymalizacją istniejących układów sieci kanalizacji deszczowej. Obliczenia numeryczne stosowane w programie TFD (Tube Flow Drain) znacznie przyspieszyły proces wykonywania obliczeń hydraulicznych w zamkniętych kanałach grawitacyjnych o przekroju kołowym. Możliwość wykonania szybko i niezawodnie, sprawdzenia wpływu zmiennych (np.. Kalkulacje w autorskim programie...
-
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....
-
Postępowanie przed sądami dyscyplinarnymi, polubownymi i koleżeńskimi dla architektów: Wybór przepisów
PublikacjaDla praktykującego architekta wykonywanie zawodu jest funkcją odpowiedzialności. Odpowiedzialność ta może rodzić skutki karne, cywilne, zawodowe, dyscyplinarne i moralne. Przedmiotem niniejszej publikacji jest próba wyróżnienia szeroko pojętej odpowiedzialności zawodowej, przybliżenia jej podstaw prawnych oraz opisania postępowania przed sądami dyscyplinarnymi, polubownymi i koleżeńskimi. Specyfiką tego typu postępowań jest odpowiadanie...
-
Accoustic verification of onomatopoeic sets in contrastive approach
PublikacjaPraca relacjonuje efekty prób wykorzystania technik cyfrowego przetwarzania sygnału mowy dla zaspokojenia specyficznych potrzeb nauk humanistycznych, które, ograniczając się wyłącznie do tra-dycyjnie stosowanego warsztatu badawczego, napotykają współcześnie na bariery znacznie blokują-ce oczekiwany postęp. Omówiono proces badawczy, który służyć ma językoznawcom dokonującym porównań wyrażeń dźwiękonaśladowczych odnajdywanych w odmiennych...
-
PROBLEMY RACJONALNEGO ZASTOSOWANIA SYSTEMÓW DIAGNOZUJĄCYCH DO PODEJMOWANIA DECYZJI W FAZIE EKSPLOATACJI URZĄDZEŃ ENERGETYCZNYCH Z UWZGLĘDNIENIEM ZAGADNIEŃ KWANTOWYCH
PublikacjaW rozdziale przedstawiono najistotniejsze problemy pojawiające się w fazie projektowania, wytwarzania i eksploatacji systemów diagnozujących (SDG) urządzeń energetycznych (będących systemami diagnozowanymi – SDN), w przypadku przysposabiania ich do opracowania finalnej diagnozy eksploatacyjnej. Przestawiono opisową i formalną interpretację pojęcia systemu diagnozującego (SDG). Zaproponowano modele procesu diagnozowania urządzeń...
-
Indywidualne programy integracyjne dla uchodźców i cudzoziemców objętych ochroną uzupełniającą z państw poradzieckich w dobie przynależności Polski do Unii Europejskiej
PublikacjaCelem pracy jest analiza uwarunkowań i skali obejmowania indywidualnymi programami integracyjnymi obywateli państw poradzieckich, którym przyznawano status uchodźcy i ochronę uzupełniającą w Polsce w okresie od 2004 r. do 2018 r., tj. od przystąpienia przez Polskę do Unii Europejskiej. Omawiane są następujące zagadnienia: uwarunkowania formalno-prawne ochrony międzynarodowej w Polsce, zasady przyznawania indywidualnych programów...
-
Koncepcja platformy wymiany informacji o incydentach cyberbezpieczeństwa dla krajowego systemu elektroenergetycznego
PublikacjaArtykuł opisuje wybrane zagadnienia związane z cyberbezpieczeństwem w sektorze elektroenergetyki. Jednym z elementów zapewniania bezpieczeństwa sieci elektro-energetycznej jest efektywna wymiana informacji o incydentach bezpieczeństwa. W jej ramach wszystkie zaangażowane podmioty systemu elektroenergetycznego, tj.: elektrownie, operatorzy systemów przesyłowych, operatorzy systemów dystrybucyjnych, dostawcy rozwiązań bezpieczeństwa,...
-
Zaawansowane techniki optymalizacji Pixel Shaderów 2.0
PublikacjaArtykuł ma na celu przedstawienie wybranych technik optymalizacji kodu pixel shaderów w wersji 2.0. Omówiona została specyfika programowania Pixel Shaderów 2.0 oraz przedstawiony został język programowania niskopoziomowego, którego znajomość jest przydatna w procesie optymalizacji kodu pixel shaderów. Nastepnie na przykładzie Pixel Shadera realizującego efekt Screen Space Ambient Occlusion pokazane zostały wybrane metody optymalizacji...
-
Tlenkowe ogniwa paliwowe ze stalowym interkonektorem
PublikacjaPraca obejmuje szeroki zakres zagadnień związanych z polepszeniem właściwości stosowanych obecnie materiałów lub konstrukcji ogniw paliwowych wykorzystujących elementy metaliczne w postaci litego interkonektora lub porowatego elementu nośnego. Wykonana praca ma charakter eksperymentalny i interdyscyplinarny, swoim zasięgiem obejmuje zagadnienia elektroniki ciała stałego, chemii, fizyki oraz inżynierii materiałowej.
-
Fotografia i słowo wobec architektury
Publikacjapisanie o architekturze pozornie nie jest najistotniejszym środkiem przekazu dla architektów porozumiewających się własnym językiem zawodowym czyli zapisem rysunkowymZapisane słowo jest jednak niezbędne w komunikacji z przyszłymi użytkownikami, pozwala lepiej zrozumieć zapis rysunkowy projektu.opisywanie architektury - temat architektury w obiegu kultury , jest możliwy dzięki popularyzacji w pismach architektonicznych.
-
Wytyczne akustyczne do projektu wnętrza sali koncertowej Akademii Muzycznej w Gdańsku = Acoustical recommendations to interior design of the concert hall at the Academy of Music in Gdańsk
PublikacjaProjektowana sala jest przeznaczona do wykonywania muzyki symfonicznej oraz dzieł oratoryjnych (orkiestra symf. + chór + soliści) oraz inscenizacji operowych w zredukowanych dekoracjach. Funkcją drugoplanową jest wykorzystanie sali do celów konferencyjnych. Taki zestaw funkcji wymaga odmiennych warunków akustycznych. Praca przedstawia zalecenia akustyczne do projektu wnętrza, spełniajace te oczekiwania.
-
Musical phrase representation and recognition by means of neural networks and rough sets.
PublikacjaW artykule przedstawiono podstawowe definicje dotyczące frazy muzycznej. W eksperymentach posłużono się zapisem parametrycznym. W celu wzmocnienia procesu rozpoznawania wykorzystano kodowanie entropijne muzyki. W eksperymentach klasyfikacji oparto się o sztuczne sieci neuronowe i metodę zbiorów przybliżonych. Słowa kluczowe: fraza muzyczna, klasyfikacja, sztuczne sieci neuronowe, metoda zbiorów przybliżonych
-
Recent developments in automatic classification of musical instruments
PublikacjaW referacie dokonano przeglądu aktualnego stanu badań w dziedzinie automatycznego rozpoznawania muzyki. Przedstawiono też eksperymenty prowadzone aktualnie w Katedrze Dźwięku i Obrazu PG. Prace te dotyczyły rozpoznawania klas instrumentów muzycznych i separacji duetów muzycznych. Pokazano przykładowe wyniki i przedstawiono projekt prac do zrealizowania w przyszłych eksperymentach.
-
Experimental and theoretical investigations of silo music
PublikacjaW artykule przedstawiono wyniki doświadczalne i teoretyczne badania zjawiska muzyki silosowej podczas przepływów materiałów granulowanych w silosach. Badania dynamiczne i tomograficzne wykonane w modelu silosu napełnionego piaskiem. Obliczenia numeryczne wykonano przy zastosowaniu metody elementów skończonych i mikropolarnego modelu hipoplastycznego z uwzględnieniem dynamicznej interakcji ściany z piaskiem.
-
Języki programowania wysokiego poziomu (lato 2021/2022)
Kursy Online -
Języki programowania wysokiego poziomu - projekt 21/22
Kursy OnlineEiT studia I stopinia, sem. zimowy 21/22
-
Języki programowania wysokiego poziomu (lato 2022/2023)
Kursy Online -
Obiektowe języki programowania II 2021/2022 sem.letni
Kursy Onlinekier. Fizyka Techniczna, Informatyka stosowana
-
Języki znaczników w aplikacjach medycznych, 2021/2022
Kursy OnlineKurs dla I-go stopnia Inżynierii Biomedycznej (Informatyka w medycynie).
-
Języki programowania na platformie .NET - 2022/23
Kursy OnlineKurs 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 znaczników w aplikacjach medycznych - 2022/2023
Kursy OnlineKurs dla I-go stopnia Inżynierii Biomedycznej (Informatyka w medycynie).
-
Języki programowania wysokiego poziomu - projekt 22/23
Kursy OnlineEiT studia I stopinia, sem. zimowy 21/22
-
Obiektowe języki programowania II 2022/2023 sem.letni
Kursy Onlinekier. Fizyka Techniczna, Informatyka stosowana
-
Języki programowania Python i R (2022/2023)
Kursy OnlineII stopień - I semestr
-
Języki znaczników w aplikacjach medycznych - 2023/2024
Kursy OnlineKurs dla I-go stopnia Inżynierii Biomedycznej (Informatyka w medycynie).
-
Języki programowania na platformie .NET - 2024/25
Kursy Online -
Obiektowe języki programowania II 2023/2024 sem.letni
Kursy Onlinekier. Fizyka Techniczna, Informatyka stosowana
-
Języki Programowania Wysokiego Poziomu - projekt 24/25
Kursy OnlineEiT studia I stopinia, sem. zimowy 21/22
-
Języki obce - materiały otwarte / Open Educational Resources
Kursy Online -
Języki Programowania Python i R (2023/2024)
Kursy OnlineII stopień - I semestr
-
Języki Programowania na platformie .NET 2023/24
Kursy Online -
Pier of the future- investigation of green and blue strategies as tools for modernization of Gdynia's public waterfront
PublikacjaBetween rising water levels and global migration to cities, architects and designers need to critically reimagine the relationship between coastal landscapes and public space. Cities are facing entirely new risks and environmental conditions. Resiliency, infrastructure, and ecology are increasingly common terms, reflecting the growing demand to address the spatial and formal challenges faced by cities worldwide. Rethinking boundaries...
-
Quality control procedures in Pomeranian Digital Library
PublikacjaThis paper concerns a quality control in digital libraries projects. At first, general goals of such projects are presented together with some restrictions concerning non-commercial projects. Then some quality factors for digital objects are presented. Finally, a quality control model for Pomeranian Digital Library (PDL) is proposed. The model assumes three levels of quality control and takes into account specific features of PDL....
-
Experience Based Clinical Decision Support Systems: An Overview and Case Studies
PublikacjaThis chapter briefly overviews the evolution of the application of the Decisional DNA and the Set of Experience Knowledge Structure (SOEKS) in the medical domain and in particular in the specific case of the experience-based decision support systems. Decisional DNA, as a knowledge representation structure, offers great possibilities on gathering explicit knowledge of formal decision events as well as a tool for decision making...
-
Comparison of requirements for location, maintenance and removal of road advertising between polish and foreign regulations
PublikacjaThe article gives an overview of Polish and international formal and legal requirements for roadside advertising and the relevant road safety impacts. The analysis focussed on outdoor advertising life cycle consisting of three stages: location, operation and removal of advertising. Experience of road authorities from Australia (Queensland), Republic of South Africa and the United Kingdom was collected. The article is part of a...