Filtry
wszystkich: 2231
-
Katalog
- Publikacje 1055 wyników po odfiltrowaniu
- Czasopisma 24 wyników po odfiltrowaniu
- Konferencje 24 wyników po odfiltrowaniu
- Wydawnictwa 6 wyników po odfiltrowaniu
- Osoby 234 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 88 wyników po odfiltrowaniu
- Dane Badawcze 99 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: JĘZYKI FORMALNE
-
A model of ship propulsion systems operating process.
PublikacjaArtykuł zawiera opis formalny procesu eksploatacji układów napędowych statków. Model tego procesu został przedstawiony w formie dwuwymiarowego procesu,, którego współrzędnymi są procesy semi-Markowa o skończonych zbiorach stanów. Jeden z tych procesów jest procesem zmian stanów technicznych układów napędowych a drugi „ procesem zmian ich stanów eksploatacyjnych. Zaproponowano także jednowymiarowy model procesu eksploatacji układów...
-
Kaszubskie zamieszkiwanie. Studium
PublikacjaGraficzne, malarskie i fotograficzne przedstawianie przestrzeni zamieszkiwania poprzez obraz oraz formalne poprzez rzeźbę to poszukiwanie nowych środków wyrazu dla ukazania osobistych refleksji na temat domu i jego relacji środowiskowych. Stanowią dopełnienie pracy naukowej i projektowej. Cykl „kaszubskie zamieszkiwanie. studium” to efekt projektu stypendialnego (stypendium dla twórców kultury Marszałka Województwa Pomorskiego...
-
JEDNORAZOWE DOTACJE NA PODJĘCIE DZIAŁALNOŚCI GOSPODARCZEJ NA PRZYKŁADZIE DOTACJI UDZIELANYCH PRZEZ POWIATOWY URZĄD PRACY W GDYNI
PublikacjaW artykule dokonano opisu możliwości uzyskania dofinansowania w ramach środków pochodzących z Funduszu Pracy przyznawanych przez urzędy pracy. Tego typu jednorazowe i bezzwrotne wsparcie należy do stosunkowo łatwo dostępnych form finansowania nowo powstałych przedsiębiorstw zakładanych przez osoby bezrobotne. Niemniej jednak uzyskanie dotacji, wynoszącej nawet sześciokrotność przeciętnego wynagrodzenia w gospodarce narodowej, wymaga...
-
Uwarunkowania dotyczące zawartości granulatu asfaltowego w mieszankach mineralno-asfaltowych produkowanych na gorąco w otaczarkach cyklicznych
PublikacjaRecykling MMA na gorąco jest obecnie szeroko wykorzystywany w budownictwie drogowym. Pozwala on na uzyskanie istotnych korzyści ekologicznych i ekonomicznych. W artykule przedstawiono uwarunkowania wpływające na zawartość granulatu asfaltowego w MMA. Powinny być one uwzględniane, aby uzyskać MMA z granulatem asfaltowym o właściwościach, takich jak w przypadku mieszanek wykonanych z nowych materiałów. Omówiono głównie uwarunkowania...
-
Phraseological Units in Audiovisual Translation. A Case Study of Polish Dubbing of Disney’s 'The Little Mermaid'
PublikacjaThe paper aims to discuss phraseological units as the object of audiovisual translation in the Polish dubbing of Disney’s 'The Little Mermaid', to discuss the role of phraseological translation techniques, and to present possible translation inconsistencies. A theoretical introduction presents definitions for crucial terms. It is followed by the analysis of the corpus of phraseological units in Disney’s The Little Mermaid and...
-
English, French, and Polish Aliases of Criminals: Diversity of Inspirations in their Creation and Typical Nicknaming Schemes
PublikacjaThe present paper examines the topic of aliases of criminals, which seems to be understudied in linguistic research. Therefore, this article’s primary goal is to describe how criminals’ aliases are created and what are the differences and similarities in that process in English, French, and Polish. Firstly, the theoretical background concerning the topic of pseudonyms is presented. Then, the corpus gathered for this paper (available...
-
Electromodulation of photoluminescence in vacuum-evaporated films of fac-tris(2-phenylpyridine)iridium(III)
PublikacjaZaobserwowano silne wygaszenie fosforescencji w komórkach sandwiczowych Al/Ir(ppy)3/Al/kwarc, które w polu elektrycznym o natężeniu 3 MV/cm dochodzi do 30%. Mechanizm wygaszania jest związany z dysocjacją ekscytonów trypletowych pod działaniem zewnętrznego pola elektrycznego w obszarach zdefektowanych sieci krystalicznej.
-
Cień malarza. - wystawa autorska
PublikacjaDruk towarzyszący wystawie indywidualnej malarstwa, która miała miejsce w Galerii-pl w Gdyni w grudniu 2010 roku. Publikacja liczy 2 strony A3 i zawiera tekst krytyczny i notę biograficzną w języku polskim oraz 3 kolorowe reprodukcje.
-
Kury - Centrum Wystawienniczo-Regionalne Dolnej Wisły w Tczewie/Fabryka Sztuki
PublikacjaWystawa fotografii, która odbyła się w Fabryce Sztuk Centrum Wystawienniczo-Regionalnym Dolnej Wisły w Tczewie. Katalog towarzyszący wystawie liczy 12 stron i zawiera teksty krytyczne i notę biograficzną w języku polskim oraz 7 kolorowych reprodukcji prac.
-
Joanna Raczek dr inż.
OsobyWykształcenie 1997 -- 2001 Studia inżynierskie, Wydział Fizyki Technicznej i Matematyki Stosowanej, Politechnika Gdańska. Kierunek: Matematyka, specjalność: Matematyka Stosowana. 2001 -- 2003 Studia magisterskie, Wydział Fizyki Technicznej i Matematyki Stosowanej, Politechnika Gdańska. Kierunek: Matematyka, specjalność: Matematyka Stosowana. 2000 -- 2004 Studia inżynierskie, Wydział Elektroniki, Informatyki i Telekomunikacji,...
-
Continuous three-dimensional radiation dosimetry in tissue-equivalent phantoms using electron paramagnetic resonance in L -α-alanine
Publikacja -
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.
-
Style w gdyńskiej architekturze okresu międzywojennego
PublikacjaKrótki okres międzywojenny był jednak czasem narodzin nowej zupełnie formacji stylowej - modernizmu. Stąd też w architekturze gdyńskiej widzimy wielość konwencji związanych z odchodzącym w przeszłość historyzmem i narodzinami nowego języka artystycznego. Artykuł daje krótki przegląd tej problematyki.
-
Analiza porównawcza systemów zarządzania nauczaniem opartych na licencji open source.
PublikacjaReferat zawiera przegląd najbardziej znanych systemów LMS opartych na licencji Open Source. Systemy przeanalizowano pod względem jakości interfejsu użytkownika, wsparcia dla standardów zdalnego nauczania oraz dostępności w języku polskim. Określono również technologie wykorzystywane do budowy analizowanych systemów.
-
Analiza porównawcza systemów zarządzania nauczaniem opartych na licencji Open Source
PublikacjaReferat zawiera przegląd najbardziej znanych systemów LMS opartych na licencji Open Source. Systemy przeanalizowano pod względem jakości interfejsu użytkownika, wsparcia dla standardów zdalnego nauczania oraz dostępności w języku polskim. Określono również technologie wykorzystywane do budowy analizowanych systemów.
-
Scale effect in shaft friction from direct shear tests
PublikacjaPrzeanalizowano wartości maksymalne tarcia uzyskane w aparacie bezpośredniego ścinania w kontakcie konstrukcja-grunt dla piasków kwarcowych i węglanowych oraz gładkiego i szorstkiego kontaktu. Badania przeprowadzono przy regulowanej sztywności normalnej kontaktu, przy różnej składowej normalnej naprężenia w kontakcie i różnym zagęszczeniu gruntu. Określono efekt skali jako stosunek wartości tarcia mobilizowanego na modelu do tarcia...
-
Realizacja definiowanego programowo interfejsu radiowego NB-IoT
PublikacjaW niniejszym artykule przedstawiono sposób realizacji definiowanego programo-wo, uniwersalnego interfejsu radiowego do inteligentnych urządzeń IoT (Internet of Things) - DUCH IoT, pracującego zgodnie z międzynarodowymi standardami: LTE (Long Term Evolution) kat. NB1 (Narrowband) oraz LTE kat. NB2. Interfejs radiowy został za-implementowany w formie sprzętowo-programowego, frameworka z konfigurowalnym podziałem realizowanych funkcji...
-
The application of an expert system for simulation investigations in yhe aided design of ship power systems automation.
PublikacjaPrzedstawiono strukturę i funkcje systemu wspomagającego projektowanie automatyki systemów enegretycznych statków. Dane opisujące projektowany podsystem energetyczny są wprowadzane w trybie interaktywnym do systemu ekspertowego. Reguły określaja poprawność formalną i merytoryczną wprowadzonych danych. W przypadku braku błędów system automatycznie tworzy model symulacyjny projektowanego podsystemu enegretycznego i wywołuje program...
-
Challenges of modern assessment of safety of ships in critical conditions. Options for preliminary design
PublikacjaW pracy przedstawiono wyniki badań na temat zastosowania formalnej metody oceny bezpieczeństwa statków w stanie uszkodzonym w stosunku do obecnej metody, opartej na przepisach zawartych w konwencji SOLAS rozdział II-1, części A, B i B-1. Przedstawiono elementy analizy bezpieczeństwa obejmujące identyfikację zagrożeń i scenariuszy wypadków, ocenę zagrożeń, ocenę ryzyka i kontrolę ryzyka. Podano przykłady obliczeniowe i wnioski praktyczne.
-
Mikroekonomia nst msu_on-line
Kursy OnlinePodstawy mikroekonomii dla msu 4. sem. - 2h zajęć prowadzi w formule on-line dr Aniela Mikulska.
-
Zapomniane, zaniedbane, znikające... zabytkowe miejskie ogrody = Forgotten, Neglected, Disappearing... Historic Urban Gardens
PublikacjaW artykule przedstawiono przyczyny degradacji zabytkowej zieleni miejskiej. Na dwóch gdańskich przykładach pokazano w jaki sposób zabytkowa zieleń jest wypierana ze sfery publicznej. Podjęto próbę określenia sposobów przeciwdziałania niekorzystnym zjawiskom. Artykuł ukazał się w języku polskim i angielskim.
-
Janusz Osicki Techniki mieszane
PublikacjaDruk towarzyszący wystawie, która odbyła się w Zakliczyńskim Centrum Kultury w Galerii Poddasze w Ratuszu w Zakliczynie w terminie 8.02 – 6.03. 2013 roku. Publikacja liczy 4 strony i zawiera 2 reprodukcje prac i notę biograficzną w języku polskim.
-
Bildhauerwettbewerb Rheda - Wiedenbrück
PublikacjaSympozjum rzeźbiarskie, które miało miejsce w 2012 roku w Rheda - Wiedenbrück w Niemczech. Katalog towarzyszący liczy 8 stron, zawiera krótkie teksty krytyczne i noty biograficzne w języku niemieckim oraz 22 reprodukcji kolorowych. Wydawcą katalogu jest Flora Westfalica GmbH.
-
MUZYKA W ARCHITEKTURZE :Inspiracje muzyczne we współczesnej architekturze
PublikacjaW książce podjęty został temat złożonych relacji pomiędzy architekturą i muzyką oraz udział muzyki – tytułowej inspiracji – we współczesnej praktyce architektonicznej. Głównym zadaniem autora było zebranie i usystematyzowanie wiedzy na temat podejmowanych prób udziału muzyki w tworzeniu architektury oraz ukazanie nowych sposobów kształtowania przestrzeni, jakie stwarza wykorzystanie muzyki jako nauki i sztuki w dziele architektonicznym,...
-
Seminarium dyplomowe, S-30, WIMiO, MiBM, II st., sem. 02, stacjonarne, (PG_00057411), semestr letni 2022/2023
Kursy OnlineWymagania formalne przy realizacji pracy dyplomowej. Dyskusja nad postępami w pracy, w szczególności przeglądu literatury. Prezentacja multimedialna osiągnięć z pracy dyplomowej w dwu wystąpieniach: pierwsze przeglądu literatury i założeń, drugie uzyskanych wyników. Przygotowanie do egzaminu dyplomowego. Źródła: https://wimio.pg.edu.pl/studenci/sprawy-studenckie/zasady-dyplomowania
-
Instytut Fizyki Molekularnej Polskiej Akademii Nauk
Wydawnictwa -
Centrum Fizyki Teoretycznej Polskiej Akademii Nauk
Wydawnictwa -
Aestheticization of Flowcharts
PublikacjaOne of the important issues of diagrams is their aesthetics. In this paper a method of its formalization for freehand drawn flowcharts is proposed. In order to formalize the evaluation of flowcharts' aesthetics a criterion consisting of several measures is proposed. Based on this criterion the algorithms for automatic optimization of flowcharts' appearance are proposed.
-
Visual Dimensions of Modeling Languages in Interdisciplinary Perspective
PublikacjaUżyteczność języków modelowania wizualnego zależy od notacji. Notacja może być postrzegana jako zestaw wizualnych komponentów, które w określony sposób oddziałują na ludzkie oko i ludzki mózg. Referat przedstawia analizę interdyscyplinarną wykonaną w celu lepszego zrozumienia wizualnych wymiarów języków modelowania. Wizualne wymiary pochodzą z teorii opisujących percepcję wzrokową, wizualizację danych oraz reprezentacje poznawcze....
-
Muzeum Miasta Gdyni 30 lat
PublikacjaPublikacja ilustrująca 30 lat działalności Muzeum Miasta Gdyni. Publikacja liczy 168 stron i zawiera 284 reprodukcji prac (praca autora s.89) i notę biograficzną w języku polskim. Wydawcą publikacji jest Muzeum Miasta Gdyni, ISBN 978-83-937119-0-1.
-
Przegląd mechanizmów integracji wiedzy w projektach interdyscyplinarnych
PublikacjaCelem referatu było dokonanie przeglądu i porównania mechanizmów integracji wiedzy pochodzących z różnych źródeł, zaczynając od podejść kreatywnych, poprzez mniej i bardziej formalne podejścia powiązane z inżynierią oprogramowania, a kończąc na teorii badań interdyscyplinarnych i menadżerskim podejściu do zarządzania zespołami interdyscyplinarnymi. Pod względem metodologicznym, w referacie zastosowano wielodyscyplinarną analizę...
-
Języki Programowania (2023)
Kursy Online -
Języki programowania obiektowego
Kursy Online -
Języki Programowania 2024
Kursy Online -
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.
-
Perception-based data processing in acoustics. Applications to music information retrieval and psychophysiology of hearing.
PublikacjaTematyka książki obejmuje w pierwszej kolejności opis mechanizmów kognitywnych leżących u podstaw percepcji muzyki. Przedstawione zostały również zagadnienia automatycznego rozpoznawania dźwięków instrumentów muzycznych i muzyki, zastosowanie nowych metod z dziedziny sztucznej inteligencji w szeroko rozumianej inżynierii dźwięku oraz komputerowych metod badania słuchu.
-
FE-modeling of shear resistance degradation in granular materials during cyclic shearing under CNS condition
PublikacjaW artykule przedstawiono wyniki numerycznej analizy degradacji wytrzymałości na ścinanie w materiałach granulowanych podczas cyklicznego ścinania z warunkiem stałej sztywności normalnej. Obliczenia wykonano przy zastosowaniu metody elementów skończonych i mikropolarnego modelu hipoplastycznego.
-
Wykroczenie, Galeria-pl; 26 maja-30 czerwca 2011
PublikacjaKatalog wystawy malarstwa, która miała miejsce w czerwcu 2011 roku w galerii-pl w Gdyni. Katalog liczy 4 strony i zawiera tekst krytyczny i notę biograficzną w języku polskim oraz trzy kolorowe reprodukcje prac. Wydawcą katalogu jest galeria-pl z gdyni.
-
Application of virtual reality modeling language for 3D seafloor imaging.
PublikacjaW artykule przedstawiono koncepcję wykorzystania języka opisu wirtualnej rzeczywistości do trójwymiarowej wizualizacji objektów znajdujących się na dnie morskim w zastosowaniu do danych pochodzących z systemów hydroakustycznych. W szczególności zaprezentowano technikę tworzenia trójwymiarowych scen przeznaczonych do szerokiego udostępniania w sieci Internet.
-
Wdrożenia komercyjne chatter-botów
PublikacjaCelem artykułu jest ocena przydatności wdrożenia systemów chatter-bot, czyli tzw. wirtualnych konsultantów - systemów informatycznych, które potrafią odpowiadać na pytania zadawane w języku naturalnym. Przedstawiono główne czynniki wpływające na funkcjonalność systemu, analizę kosztów wdrożenia i efektywności inwestycji oraz przykłady komercyjnych zastosowań.
-
Przetwarzanie języka naturalnego -2022
Kursy OnlinePrzetwarzanie języka naturalnego.
-
Przetwarzanie języka naturalnego -AITech-2023
Kursy OnlinePrzetwarzanie języka naturalnego.
-
Przetwarzanie języka naturalnego -2023
Kursy OnlinePrzetwarzanie języka naturalnego.
-
Przetwarzanie języka naturalnego -2024
Kursy OnlinePrzetwarzanie języka naturalnego.
-
Przetwarzanie języka naturalnego -AITech-2024
Kursy OnlinePrzetwarzanie języka naturalnego.
-
Modeling Object Oriented Systems via Controlled English Verbalization of Description Logic
PublikacjaThe need for formal methods for Object Oriented (OO) systems resulted in methods like UML and Lepus3 that are de-facto graphical languages equipped with formal tools that are able to handle the design of OO systems. However, they lack precise semantics which might lead to problems, such as inconsistencies or redundancies. On the other hand, to our knowledge, there is no approach that allows one to understand and follow the requirements...
-
Ocena wykrywalności modelowych wad wąskoszczelinowych metodą pomiaru przestrzennego rozkładu magnetycznego pola rozproszonego
PublikacjaWykazano, że metoda pomiaru natężenia metodą pomiaru natężenia pola rozproszonego (MPR) w polu szczątkowym umożliwia skuteczne wykrywanie zewnętrznych wad szczelinowych o głębokościach 0,2 mm przy długości 2,5 mm, oraz wad punktowych o średnicy mniejszej od 1mm i głębokości 0,3 mm. Zwiększenie poziomu namagnesowania (pomiary w pełnym polu magnetycznym) umożliwiło wykrywanie wad o znacznie mniejszych rozmiarach. Wykazano również,...
-
Klawiatura ekranowa dla osób posługujących się jedną kończyną górną
Publikacjartykuł prezentuje układ symboli na klawiaturze wirtualnej dedykowanej osobom niepełnosprawnym posługującym się jedną kończyną górną. Rozmieszczenie znaków zostało ustalone na podstawie przeprowadzonej analizy częstotliwości występowania poszczególnych liter w języku polskim. Uwzględniono również najczęściej występujące pary liter, a odpowiadające im klawisze ułożono blisko siebie. Zaproponowany kształt klawiatury jest wynikiem...
-
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.