Filtry
wszystkich: 2134
-
Katalog
- Publikacje 1075 wyników po odfiltrowaniu
- Czasopisma 31 wyników po odfiltrowaniu
- Konferencje 24 wyników po odfiltrowaniu
- Wydawnictwa 6 wyników po odfiltrowaniu
- Osoby 176 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 619 wyników po odfiltrowaniu
- Wydarzenia 83 wyników po odfiltrowaniu
- Dane Badawcze 99 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: jezyki formalne
-
Squamous cell carcinoma, nonkeratinizing, NOS - Male, 64 - Tissue image [1170630006521891]
Dane BadawczeThis is the histopathological image of BASE 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.
-
Squamous cell carcinoma, nonkeratinizing, NOS - Male, 64 - Tissue image [1170630006525291]
Dane BadawczeThis is the histopathological image of BASE 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.
-
Finite automata for compact representation of tuple dictionaries.
PublikacjaOpisane zostaje uogólnienie struktury danych - słownika, zwane słownikiem n-tek. Słownik n-tek przedstawia odwzorowanie n-tek łańcuchów znaków na pewne wartości. Motywacją dla powstania tej struktury danych są praktyczne zastosowania w przetwarzaniu języka i mowy, w których obszerne słowniki n-tek używane są do przedstawiania modeli języka. Przedstawiona zostaje technika oszczędnej reprezentacji słowników n-tek. Ta technika...
-
Malarstwo jest okey. - Jan Buczkowski
PublikacjaKatalog towarzyszący wystawie "Malarstwo jest okey" w Foyer Opery Bałtyckiej w Gdańsku w ramach 3. edycji Festiwalu Kultury Trójmiasta "Metropolia jest okey", który odbył się w dniach 26-30.12.2009. Katalog liczy 120 stron i zawiera tekst krytyczny w języku polskim i angielskim, noty biograficzne artystów w języku polskim i angielskim oraz 55 kolorowych reprodukcji prac artystów (prace autorów: J. Buczkowski s. 16-17, D. Krechowicz...
-
Malarstwo jest okey. - Janusz Osicki
PublikacjaKatalog towarzyszący wystawie "Malarstwo jest okey" w Foyer Opery Bałtyckiej w Gdańsku w ramach 3. edycji Festiwalu Kultury Trójmiasta "Metropolia jest okey", który odbył się w dniach 26-30.12.2009. Katalog liczy 120 stron i zawiera tekst krytyczny w języku polskim i angielskim, noty biograficzne artystów w języku polskim i angielskim oraz 55 kolorowych reprodukcji prac artystów (prace autorów: J. Buczkowski s. 16-17, D. Krechowicz...
-
Malarstwo jest okey. - Krzysztof Wróblewski
PublikacjaKatalog towarzyszący wystawie "Malarstwo jest okey" w Foyer Opery Bałtyckiej w Gdańsku w ramach 3. edycji Festiwalu Kultury Trójmiasta "Metropolia jest okey", który odbył się w dniach 26-30.12.2009. Katalog liczy 120 stron i zawiera tekst krytyczny w języku polskim i angielskim, noty biograficzne artystów w języku polskim i angielskim oraz 55 kolorowych reprodukcji prac artystów (prace autorów: J. Buczkowski s. 16-17, D. Krechowicz...
-
Malarstwo jest okey. -Dominika Krechowicz
PublikacjaKatalog towarzyszący wystawie "Malarstwo jest okey" w Foyer Opery Bałtyckiej w Gdańsku w ramach 3. edycji Festiwalu Kultury Trójmiasta "Metropolia jest okey", który odbył się w dniach 26-30.12.2009. Katalog liczy 120 stron i zawiera tekst krytyczny w języku polskim i angielskim, noty biograficzne artystów w języku polskim i angielskim oraz 55 kolorowych reprodukcji prac artystów (prace autorów: J. Buczkowski s. 16-17, D. Krechowicz...
-
Variacionnye metody
PublikacjaMonografia zawiera metody wariacyjne dla rozwiązywania zadań fizyki matematycznej. Rozwiązane zastałe odwrotne zagadnienie rachunku wariacyjnego dla nieliniowych równań różniczkowych. Zbudowana jedyną teorię takich zadań dla liniowych i nieliniowych równań różniczkowych.
-
Trójwymiarowa wizualizacja obiektów na dznie morskim z zastosowaniem technik wirtualnej rzeczywistości.
PublikacjaArtykuł przedstawia sposób wykorzystania języka opisu wirtualnej rzeczywistości do trójwymiarowej wizualizacji objektów znajdujących się na dnie morskim. W szczególności zaprezentowano technikę rekonstrukcji obrazu trójwymiarowego z danych pochodzących z sonaru wielowiązkowego.
-
Eliminacja wyższych harmonicznych prądu za pomocą filtrów poprzecznych
PublikacjaW artykule przedstawiono sposób i skutecznośc eliminacji wyższych harmonicznych prądu w sieci elektroenergetycznej za pomoca filtrów poprzecznych LC. Zaprezentowano wyniki symulacji komputerowych wpływu prostownika 6-pulsowego w stanie pracy normalnej na jakosć energii elektrycznej w elektroenergetycznej sieci zasilającej.Przedstawiono przykładowe przebiegi napięć i prądów oraz analizę zawartości wyższych harmonicznych w sieci...
-
A Generative Approach to Hull Design for a Small Watercraft
PublikacjaIn the field of ocean engineering, the task of spatial hull modelling is one of the most complicated problems in ship design. This study presents a procedure applied as a generative approach to the design problems for the hull geometry of small vessels using elements of concurrent design with multi-criteria optimisation processes. Based upon widely available commercial software, an algorithm for the mathematical formulation of...
-
Wpływ zużycia opony samochodowej na jej opór toczenia
PublikacjaW pracy przedstawiono wpływ zużycia opony samochodowej na jej opór toczenia. Zużycie czterech opon testowych uzyskano podczas normalnej eksploatacji, natomiast zużycie sześciu pozostałych uzyskano sztucznie przez zeszlifowanie czoła bieżnika papierem ściernym na specjalnej szlifierce. Pomiary oporu toczenia wykonano na bębnowej maszynie bieżnej metodą momentową. Wyniki tych pomiarów przedstawiono w formie zależności współczynnika...
-
Organizacijos etyika ir kultura: buti ar atrodyti
PublikacjaW artykule podjęta próba wyjaśnienia wpływu instytucjonalizacji etyki na in-tegrację kultury organizacyjnej oraz jakośc wykonawstwa.
-
Recent developments in automatic classification of musical instruments. W:[CD-ROM] Collected papers. First Pan-American/Iberian Meeting on Acoustics. 144 Meeting of the Acoustical Society of America. III Iberoamerican Cong- ress of Acoustics. 9o Mexican Congress of Acoustics. Cancun, Q. R. Mxico, 2-6 Dec. 2002. [B.m.:ASA]**2002 paper 2aMU4, 7 s. 6 rys. 1 tab. bibliogr. 21 poz. Automatyczne rozpoznawanie muzyki - przykłady eksperymentów.
PublikacjaW referacie dokonano przeglądu aktualnego stanu badań w dziedzinie automaty-cznego rozpoznawania muzyki. Przedstawiono też eksperymenty prowadzone aktu-alnie w Katedrze Dźwięku i Obrazu PG. Prace te dotyczyły rozpoznawania klasinstrumentów muzycznych i separacji duetów muzycznych. Pokazano przykładowewyniki i przedstawiono projekt prac do zrealizowania w przyszłych ekspery-mentach.
-
Manager - Engineer - the proposal of the Faculty of Management and Economics Gdańsk University of Technology
PublikacjaW artykule przedstawiono ofertę edukacyjną Wydziału Zarządzania i Ekonomii Politechniki Gdańskiej, wskazując cel kształcenia menedżera o dość szerokiej ogólnej wiedzy inżynierskiej, sylwetkę absolwenta wydziału oraz nowe inicjatywy kształcenia w języku angielskim.
-
Jan Buczkowski : malarstwo
PublikacjaDruk towarzyszący wystawie indywidualnej malarstwa, która miała miejsce w Puławskiej Galerii Sztuki w kwietniu 2009 roku. Publikacja liczy 4 strony i zawiera notę biograficzną w języku polskim oraz 1 kolorową reprodukcję.
-
Formal Techniques in Real-Time and Fault Tolerant Systems
Konferencje -
International Conference on Formal Methods and Models for Co-Design
Konferencje -
Int. Workshop on Formal Methods for Industrial Critical Systems
Konferencje -
Formal Methods in Software Engineering and Defence Systems Workshop
Konferencje -
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...
-
Seminarium fizyki stosowanej III / Laboratorium Fizyki Atomu i Cząsteczki
Kursy OnlineSeminarium fizyki stosowanej III / Laboratorium Fizyki Atomu i Cząsteczki (I stopień, Fizyka stosowana, sem. 6)
-
Squamous cell carcinoma, nonkeratinizing, NOS - Male, 68 - Tissue image [1270630012701581]
Dane BadawczeThis is the histopathological image of BASE 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.
-
Squamous cell carcinoma, nonkeratinizing, NOS - Male, 68 - Tissue image [1270630012701171]
Dane BadawczeThis is the histopathological image of BASE 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.
-
Squamous cell carcinoma, nonkeratinizing, NOS - Male, 68 - Tissue image [1270630012707041]
Dane BadawczeThis is the histopathological image of BASE 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.
-
Squamous cell carcinoma, nonkeratinizing, NOS - Male, 68 - Tissue image [1270630012703381]
Dane BadawczeThis is the histopathological image of BASE 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.
-
Janusz Osicki Malarstwo – Przypadek mój sojusznik
PublikacjaDruk towarzyszący wystawie, która odbyła się w Galerii od czasu do czasu w Gdyni w 2013 roku. Publikacja liczy 4 strony i zawiera 4 reprodukcje prac i notę biograficzną w języku polskim.
-
STEVAL-MKI063V1, Przykład oprogramowania akcelerometrui magnetometru LSM303DLH
PublikacjaW artykule opisano moduł STEVAL-MKI1063V1 oparty na układzie LSM303DLHzawierającym akcelerometr i magnetometr oraz przedstawiono sposób komunikacji z nim z poziomu komputera PC na przykładzie aplikacji napisanej w języku C++/CLI (.NET).
-
Towards automation of IT systems repairs
PublikacjaMonitoring and repair are two sides of the on-the-fly maintenance of IT systems.Monitoring is well supported by automatic tools. In contrast, repairs involve much higherhuman intervention which negatively affects reliability and efficiency. The paper intro-duces a method of automating repairs of IT systems which can be integrated with any ofthe existing monitoring mechanisms. The method is described as a collection of modelsand...
-
Antoni Taraszkiewicz prof. dr hab. inż. arch.
Osoby -
Submerged object imaging using virtual reality modeling language.
PublikacjaArtykuł przedstawia sposób wykorzystania języka opisu wirtualnej rzeczywistości w archeologii podwodnej. Przedstawiono propozycję wizualizacji objektów znajdujących się na dnie morskim, a w szczególności zaprezentowano technikę rekonstrukcji obrazu trójwymiarowego z danych pochodzących z sonaru wielowiązkowego.
-
O międzynarodową promocję roku jubileuszowego
PublikacjaWobec jubileuszu 100-lecia uniwersyteckiego kształcenia technicznego w Gdańsku i 60-lecia Politechniki Gdańskiej, jaki przypada w roku 2004/2005. Podniesiono potrzebę promocji tego jubileuszu za granicą poprzez odpowiednie wydawnictwo w języku angielskim.
-
Extraction of music information based on artifical neutral networks
PublikacjaW artykule przedstawiono założenia systemu automatycznego rozpoznawania muzyki. Na podstawie przeprowadzonych eksperymentów w artykule przedstawiono efektywność zaimplementowanych algorytmów w zależności od sposobu opisu danych muzycznych. Zaimpementowany system jest oparty o sztuczne sieci neuronowe.
-
Zastosowanie S-funkcji w symulacji trójpoziomowego modulatora SVPWM w programie Simulink
PublikacjaBlok S-funkcjo w programie Simulink pozwala na efektywne wykorzystanie narzędzi tego środowiska. S-funkcaja napisana w języku C, wprowadzona do schematu symulacyjnego jako blok użytkownika jest odpowiednikiem bloku USERa z programu TCad.
-
Incremental and pseudo-incremental construction of pseudo-minimal automata.
PublikacjaAutomaty pseudominimalne mają dla każdego słowa w języku automatu co najmniej jeden element własny (stan lub przejście), który nie jest współdzielony z żadnym innym słowem. Przedstawiamy przyrostowe i półprzyrostowe algorytmy tworzenia takich automatów.
-
Ekspertyza techniczna konstrukcji mostu M-33 wykonywanego w km 12+150,73 drogi S6 w ramach realizacji przedsięwzięcia „Budowa obwodnicy Koszalina i Sianowa na S-6 wraz z odcinkiem S-11 od węzła „Koszalin” do węzła „Bielice”
PublikacjaCelem opracowania jest analiza projektu konstrukcji w jezdni prawej mostu M-33P [1] wykonywanego w km 12+150,73 drogi S-6 w ramach realizacji przedsięwzięcia „Budowa obwodnicy Koszalina i Sianowa na S-6 wraz z odcinkiem S-11 od węzła „Koszalin” do węzła „Bielice”. Podstawą do realizacji ekspertyzy były zauważone przez przedstawicieli Wykonawcy obiektu PORR S.A. nieprawidłowości w pracy konstrukcji mostu M-33P, które pojawiły się...
-
Semi-incremental addition of strings to a cyclic finite automaton
PublikacjaMaszyny o skończonej liczbie stanów są szeroko stosowane jako słowniki w przetwarzaniu języka naturalnego. Odznaczają się szybkim czasem przetwarzania i małymi wymaganiami pamięciowymi. Przedstawiamy nowy algorytm dodawania nowych słów do języka cyklicznego automatu skończonego. Algorytm jest rozszerzeniem na automaty cykliczne półprzyrostowego algorytmu Watsona dla automatów acyklicznych. Przekształcenie jest dokonane w duchu...
-
Generating reliable conformance test suites for parallel and distributed languages, libraries, and APIs.
PublikacjaArtykuł nakreśla nową metodykę dla tworzenia Zestawów Testów Zgodności (ZTG) dla języków, bibliotek i API programowania równoległego i rozproszonego. Autor rozpoczął swoje badania w zakresie testowania zgodności dla języka równoległego sterowanego danymi Athapascan, opracował metodykę dla projektowania i analizowania ZTG nazwaną Metodą Kolejnych Zawężeń (ang. Consecutive Confinements Methods - CoCoM), stworzył narzędzie CTS Designer,...
-
Domy - wewnętrzne krajobrazy.
PublikacjaPrzestrzenna redefinicja domu stanowi dziś jeden z wątków dyskusji ze zdeterminowanym wyrazem formalnym architektury i hermetycznością miejsca. Coraz częściej akcentowana jest potrzeba elastyczności domu i jego otwarcia na świat zewnętrzny. Jego przestrzeń wewnętrzna kształtowana jest coraz częściej jako ewoluujący ciągu sekwencji kompozycyjnych, formowany na wzór krajobrazu i poszukujący do niego odniesień. Domy stają się...
-
Syntheses and structures of the first terminal phosphanylphosphido complexes of molybdenum(IV)
PublikacjaThe reactions of R2P-P(SiMe3)Li (R = tBu, iPr2N) with [Cp2MoCl2] yield terminal phosphanylphosphido complexes formally via the insertion of the phosphinidene P-atom into the C - H bond of a cyclopentadienyl ring and the migration of the hydrogen atom or SiMe3 moiety to the molybdenum centre. Solid state structures of [Cp(C5H4P-PtBu2)MoH], [Cp(C5H4P-PtBu2)Mo(SiMe3)] and [Cp{C5H4P-P(NiPr2)2}Mo(SiMe3)] were established by single crystal...
-
Potencjalna wartość i możliwe oddziaływanie odznak cyfrowych: Nowy sposób oceniania pracy studentów
PublikacjaZarówno w środowisku tradycyjnym, jak i elearningowym, ocenianie uczących się odgrywa bardzo ważną rolę. W zależności od przyjętej koncepcji pedagogicznej edukatorzy przypisują większe znaczenie ocenom formatywnym lub sumatywnym, a wystawiane przez nich certyfikaty i dyplomy tylko w części pokazują kwalifikacje osoby posiadającej je, gdyż informacje, które zawierają, zwykle sprowadzają się do określenia uzyskanego przez nią stopnia,...
-
Maksymalna elastyczność pracy bloków parowych
PublikacjaW artykule przedstawiono propozycję przyspieszenia startów turbiny parowej poprzez właściwe doprowadzanie pary w trakcie stanów niestacjonarnych. Badano najbardziej wytężone miejsca w urządzeniu, przy uwzględnieniu tradycyjnej hipotezy Hubera-Missesa-Hencky, jak i hipotezy Burzyńskiego. W przypadku licznych startów coraz większe znaczenie odgrywają naprężenia termiczne, dla których najważniejsze są składowe normalne naprężeń, w...
-
Rzeczywiste charakterystyki czasowo-prądowe wyłączników różnicowoprądowych 30 mA przy prądzie sinusoidalnym
PublikacjaPrzedstawiono wymagania norm odnoszące się do charakterystyki czasowo-prądowej wyłączników różnicowoprądowych o znamionowym prądzie różnicowym zadziałania równym 30 mA. Zaprezentowano wyniki badań laboratoryjnych czasu wyłączania takich wyłączników przy sinusoidalnym prądzie różnicowym i oceniono je z punktu widzenia tych wymagań. Badania wykazały, że czasy wyłączania dwóch lub większej liczby porównywanych wyłączników różnicowoprądowych...
-
Strategiczne zagadnienia tworzenia i funkcjonowania sieci tymczasowych
PublikacjaW artykule przedstawiano wyniki badań zagadnień charakteryzujących tworzenie i funkcjonowanie sieci tymczasowych, tj. sieci, które są organizowane w celu realizacji dużych, złożonych przedsięwzięć gospodarczych, najczęściej kosztownych i przekraczających możliwości realizacyjne jednego przedsiębiorstwa i które są powołane na określony okres czasu. Skupiono się nad strategicznymi zagadnieniami tworzenia i funkcjonowania tych sieci,...
-
Esperanto w leksykografii polskiej. Bibliografia słowników (1888–2012) [Esperanto in Polish lexicography. Dictionaries published in the years 1888–2012]
Publikacja -
Automatic retrieval of musical rhythmic patterns.
PublikacjaObecnie stosowane technologie pozwalają na wyszukiwanie muzyki w zasobach Internetowych w oparciu o reprezentację melodyczną. W referacie przedstawiono problemy związane z wyszukiwaniem cech rytmicznych utworów muzycznych i pokazano stosowane metody umożliwiające automatyczne określanie rytmu.
-
Janusz Osicki Struktura
PublikacjaKatalog towarzyszący wystawie malarstwa, która odbyła się w listopadzie 2010 w Muzeum Miasta Gdyni. Katalog liczy 20 stron i zawiera tekst krytyczny i notę biograficzną w języku polskim oraz 19 kolorowych reprodukcji prac autora.
-
Plener rzeźby w granicie - Wdzydze 2012
PublikacjaPlener rzeźby, który miał miejsce we Wdzydzach Kiszewskich w 2012 roku. Plener zorganizowało towarzystwo przyjaciół muzeum KPE. Publikacja dokumentująca wydarzenie liczy 40 stron i zawiera tekst krytyczny w języku polskim oraz 56 kolorowych reprodukcji.
-
Testing for conformance of parallel programming pattern languages
PublikacjaThis paper reports on the project being run by TUG and IMAG, aimed at reducing the volume of tests required to exercise parallel programming language compilers and libraries. The idea is to use the ISO STEP standard scheme for conformance testing of software products. A detailed example illustrating the ongoing work is presented.
-
Brygida Mielewska dr
OsobyBrygida Mielewska urodziła się 1 grudnia 1972 r. w Gdyni. Studia wyższe ukończyła w 1997 r. na Wydziale Matematyki, Fizyki i Informatyki Uniwersytetu Gdańskiego, uzyskując tytuł magistra fizyki. W latach 1997–2003 pracowała na stanowisku asystenta w Katedrze Fizyki Zjawisk Elektronowych na Wydziale Fizyki Technicznej i Matematyki Stosowanej Politechniki Gdańskiej. Pracę doktorską pisała pod kierunkiem prof. dr. hab. Mariusza Zubka,...