Filters
total: 2231
filtered: 1055
-
Catalog
- Publications 1055 available results
- Journals 24 available results
- Conferences 24 available results
- Publishing Houses 6 available results
- People 234 available results
- Projects 8 available results
- Laboratories 6 available results
- Research Teams 5 available results
- Research Equipment 2 available results
- e-Learning Courses 680 available results
- Events 88 available results
- Open Research Data 99 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: JĘZYKI FORMALNE
-
Zastosowanie S-funkcji w symulacji trójpoziomowego modulatora SVPWM w programie Simulink
PublicationBlok 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.
PublicationAutomaty 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.
-
Semi-incremental addition of strings to a cyclic finite automaton
PublicationMaszyny 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...
-
Plener rzeźby w granicie - Wdzydze 2012
PublicationPlener 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.
-
Janusz Osicki Struktura
PublicationKatalog 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.
-
Comprehensive circumscribing of non-linearity cases of a water supply system with smooth flow control
PublicationW artykule opisano formalnie poprawne metody opisu matematycznego pracy pomp o płynnie regulowanych wydatkach oraz reduktorów ciśnienia i reduktorów przepływu w modelowaniu przepływów ustalonych zachodzących w systemach wodociągowych. Opisano metodę opartą o dynamiczną analizę wrażliwości systemu oraz metodę wykorzystującą charakterystyki hydrauliczne systemu wodociągowego. Przedstawiono wyniki symulacji wykorzystującej ww. metody...
-
Biało na białym
PublicationDruk towarzyszący wystawie indywidualnej malarstwa, która miała miejsce w Galerii Małej w Nałęczowie w kwietniu 2009 roku. Publikacja liczy 4 strony i zawiera tekst krytyczny i notę biograficzną w języku polskim oraz 1 kolorową reprodukcję.
-
Kontrolki ActiveX - Osadzanie kontrolek ActiveX w dokumentach WWW
PublicationW artykule opisano cechy i zasady funkcjonowania kontrolek ActiveX. Przedstawiono rozwój technologii Active na przestrzeni ostatnich lat. Na zasadzie lekcji omówiono metody edycji dokumentów WWW wykorzystujących technologię Active i sposób konfigurowania kontrolek w języku HTML.
-
Chatter-boty - nowe narzędzie w e-commerce
PublicationCelem artykułu jest przedstawienie technologii chatter-bot, czyli tzw. wirtualnych konsultantów - systemów informatycznych, które potrafią odpowiadać na pytania zadawane w języku naturalnym. Zaprezentowano obszary zastosowania botów w biznesie oraz przegląd światowego rynku systemów charter-bot.
-
Quality model for UML tools in application to UML tool selection and market analysis
PublicationJęzyki modelowania i wspierające je narzędzia odgrywają istotną rolę w procesie wytwarzania i utrzymania oprogramowania. Wraz ze wzrostem liczby narzędzi UML na rynku pojawia się potrzeba ich porównania i oceny. Artykuł prezentuje wielowymiarowy model oceny narzędzi UML, opisuje ankietę przydatną do oceny narzędzi UML oraz przedstawia system oceny narzędzi UML wraz ze studium przypadku jego zastosowania do poszukiwania narzędzi...
-
Electromodulation of photoluminescence in vacuum-evaporated films of fac-tris(2-phenylpyridine)iridium(III)
PublicationZaobserwowano 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.
-
Phraseological Units in Audiovisual Translation. A Case Study of Polish Dubbing of Disney’s 'The Little Mermaid'
PublicationThe 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
PublicationThe 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...
-
A model of ship propulsion systems operating process.
PublicationArtykuł 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...
-
Kury - Centrum Wystawienniczo-Regionalne Dolnej Wisły w Tczewie/Fabryka Sztuki
PublicationWystawa 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.
-
Cień malarza. - wystawa autorska
PublicationDruk 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.
-
JEDNORAZOWE DOTACJE NA PODJĘCIE DZIAŁALNOŚCI GOSPODARCZEJ NA PRZYKŁADZIE DOTACJI UDZIELANYCH PRZEZ POWIATOWY URZĄD PRACY W GDYNI
PublicationW 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...
-
Kaszubskie zamieszkiwanie. Studium
PublicationGraficzne, 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...
-
Uwarunkowania dotyczące zawartości granulatu asfaltowego w mieszankach mineralno-asfaltowych produkowanych na gorąco w otaczarkach cyklicznych
PublicationRecykling 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...
-
Continuous three-dimensional radiation dosimetry in tissue-equivalent phantoms using electron paramagnetic resonance in L -α-alanine
Publication -
Dbajmy o poprawność językową naszych prac i wypowiedzi
PublicationCelem 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
PublicationKró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.
PublicationReferat 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
PublicationReferat 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
PublicationPrzeanalizowano 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
PublicationW 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.
PublicationPrzedstawiono 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
PublicationW 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.
-
Zapomniane, zaniedbane, znikające... zabytkowe miejskie ogrody = Forgotten, Neglected, Disappearing... Historic Urban Gardens
PublicationW 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.
-
Bildhauerwettbewerb Rheda - Wiedenbrück
PublicationSympozjum 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.
-
Janusz Osicki Techniki mieszane
PublicationDruk 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.
-
MUZYKA W ARCHITEKTURZE :Inspiracje muzyczne we współczesnej architekturze
PublicationW 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,...
-
Muzeum Miasta Gdyni 30 lat
PublicationPublikacja 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.
-
Visual Dimensions of Modeling Languages in Interdisciplinary Perspective
PublicationUż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....
-
Aestheticization of Flowcharts
PublicationOne 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.
-
Przegląd mechanizmów integracji wiedzy w projektach interdyscyplinarnych
PublicationCelem 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ę...
-
Spor o sušestvovanii mira : vremâ i sposób sušestvovaniâ / Roman Ingarden ; przeł. Janina Kubka, Maxim W. Lebiediew
PublicationPrzekł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.
PublicationTematyka 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.
-
Wykroczenie, Galeria-pl; 26 maja-30 czerwca 2011
PublicationKatalog 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.
PublicationW 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
PublicationCelem 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ń.
-
FE-modeling of shear resistance degradation in granular materials during cyclic shearing under CNS condition
PublicationW 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.
-
Modeling Object Oriented Systems via Controlled English Verbalization of Description Logic
PublicationThe 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...
-
Klawiatura ekranowa dla osób posługujących się jedną kończyną górną
Publicationrtykuł 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...
-
Ocena wykrywalności modelowych wad wąskoszczelinowych metodą pomiaru przestrzennego rozkładu magnetycznego pola rozproszonego
PublicationWykazano, ż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ż,...
-
Komputerowe wspomaganie zmian modernizowanych układów geometrycznych toru
PublicationW 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.
-
Artificjal environment for simulation of emergent behaviour
PublicationPrzedstawiono 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
PublicationW 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.
PublicationOpisano 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.
-
Pomnik poety na Białorusi
PublicationInternetowy katalog aukcji charytatywnej http://www.wyspa.art.pl/library/File/katalog_maly1.pdf, która miała miejsce w Instytucie Sztuki Wyspa, we wrześniu 2011 roku. Katalog zawiera tekst krytyczny w języku polskim, noty biograficzne autorów, oraz 58 kolorowych reprodukcji prac. Wydawcą katalogu jest Instytut Sztuki Wyspa.