Filters
total: 2167
filtered: 1076
-
Catalog
- Publications 1076 available results
- Journals 31 available results
- Conferences 24 available results
- Publishing Houses 6 available results
- People 176 available results
- Projects 8 available results
- Laboratories 6 available results
- Research Teams 5 available results
- Research Equipment 2 available results
- e-Learning Courses 651 available results
- Events 83 available results
- Open Research Data 99 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: jezyki formalne
-
Projekt posadowienia rurociągu jako element projektu budowlanego
PublicationWymagania formalne w stosunku do dokumentacji projektowej fazy projektu budowlanego. Dokumentacja geotechniczna (w tym projekt posadowienia) jako część projektu budowlanego. Konsekwencje przyjęcia Eurokodów. Zaostrzenie wymagań formalnych w stosunku do projektu budowlanego. Aktualne wymagania prawne. Możliwe konsekwencje pomijania w dokumentacji projektowej dokumentacji posadowienia obiektu budowlanego.
-
Statistical analysis of pressuremeter tests for the north transversal tunnel in Grenoble
PublicationInterpretacja wyników badań presjometrycznych metodą statystyczną. Wartości charakterystyczne. Zastosowano rozkłady normalny, log-normalny, wykładniczy, Weybulla, Gamma, Chiz, Studenta i Pareto. Określono zmienność parametrów geotechnicznych zastosowanych do projektu tunelu i współczynnika bezpieczeństwa w czasie drążenia tunelu.
-
Graficzna metoda prezentacji scenariuszy dla aplikacji interaktywnych
PublicationJednym z kluczowych obszarów projektowania aplikacji interaktywnychjest tworzenie scenariuszy. Muszą one być opisane w sposóbformalny dla zapewnienia możliwości ich wykonania przez system komputerowy. Zapewniają to uznane języki opisu procesów biznesowych, takie jak BPEL, BPML. Z drugiej jednak strony te same scenariusze powinny być przedstawione w sposób czytelny i zrozumiały dla przeciętnego użytkownika, tak aby mógł on zweryfkowa...
-
Перевод английских заглавий фильмов в Польше и в России
PublicationArtykuł jest poświęcony problemowi przekładu angielskich tytułów filmowych, które w polskiej dystrybucji figurują pod nazwami oryginalnymi bądź zostały przetłumaczone tylko częściowo. Autorka wychodzi od poziomu znajomości języka angielskiego zarówno w Polsce, jak i w Rosji, który w pewnym stopniu może wpływać na wspomnianą praktykę, a następnie podaje przykłady tytułów, które z różnych powodów nie zostały przełożone na język polski...
-
Metody rozwiązywania problemu zapisu norm prawnych w postaci ontologii OWL
PublicationArtykuł dotyczy problemu zapisu norm prawnych w postaci umożliwiającej systemom komputerowym automatyczne przetwarzanie treści tych norm i ich interpretowanie. Artykuł przedstawia możliwości wykorzystania komputerów do podawania bieżącego stanu prawnego oraz pełnienia funkcji doradczej. W artykule opisana jest realizacja tego zagadnienia opierająca się na zapisie norm prawnych w postaci ontologii wyrażonych w języku OWL. Zapis...
-
Nowe oblicze melioracji i retencji w Polsce
PublicationProblemy związane z formalnie nieistniejącymi "melioracjami miejskimi". Nowe zadania, obowiązki i możliwości wprowadzone nowym prawem wodnym. Zadania gmin, potencjalne nowe możliwości przedsiębiorstwa "wodociągów i kanalizacji". Zagadnienia organizacyjne i ekonomiczne.
-
Buckling of frame braced by linear elastic springs
PublicationIn the design codes and specifications, simplifed formulae or diagrams are given for determining the buckling lengths of frame columns based on the ruling criterion of considering frames as sway or non sway. Due to the fact that, the code formulae utilize onlylocal stifness distributions, these formulae may yield in certain cases rather erroneous results. In most code formulas a case of weakly braced frames is usually not considered.In...
-
An integrated framework for security protocol analysis
PublicationAssurance of security protocols needs particular attention. Flaws in a protocol can devastate security of the applications that rely on it. Analysis of the protocols is difficult and it is recommended that formal methods are employed to provide for higher levels of assurance. However, the formal methods can cover only a part of the scope of the problem. It is important that the formal models are valid representations of the protocol...
-
Państwowy zasób geodezyjny i kartograficzny
PublicationRozdział poświęcony państwowemu zasobowi geodezyjnemu i kartograficznemu. Przedstawia zasady formalno-prawne jego funkcjonowania we współczesnym świecie. Rozdział w kontekście monografii podaje zasady na poziomie masowego użytkownika zasobu geodezyjnego i kartograficznego.
-
Państwowy zasób geodezyjny i kartograficzny
PublicationRozdział poświęcony państwowemu zasobowi geodezyjnemu i kartograficznemu. Przedstawia zasady formalno-prawne jego funkcjonowania we współczesnym świecie. Rozdział w kontekście monografii podaje zasady na poziomie masowego użytkownika zasobu geodezyjnego i kartograficznego.
-
Designing world closures for knowledge-based system engineering
PublicationWraz z rozwojem komponentów opartych na wiedzy przed inżynierami oprogramowania postawione zostały nowe zadania. Jednym z nich jest zintegrowanie tych komponentów z innymi standarodowymi komponentami. Zrealizowanie tego zadania wymagało zdefiniowania języka komunikacji pomiędzy różnymi komponentami w celu wymiany informacji. W artykule omówiono problem wymiany informacji pomiędzy komponentami opartymi na wiedzy i komponentami opartymi...
-
Problemy gospodarki przestrzennej w Parku Narodowym ''Bory Tucholskie'' i w jego otoczeniu.
PublicationW artykule omówiono problemy gospodarki przestrzennej w następujących ujęciach formalno-terytorialnych: Park Narodowy ''Bory Tucholskie''; otulina parku narodowego; Zaborski Park Krajobrazowy; jednostki samorządu terytorialnego (gminy i powiat); rezerwat biosfery ''Bory Tucholskie''.
-
Posadowienie obiektu liniowego
PublicationProblemy posadowienia obiektu liniowego w warunkach zmiennych (na długości i głębokości) stosunków gruntowo -wodnych, konsekwencje błędnych decyzji. Posadowienie praktycznie dominuje jako przyczyna awarii. Wymagania formalne w zakresie opracowania warunków posadowienia. Konieczność zwiększenia wymagań formalnych na skutek powszechnego lekceważenia prawa. Warunki gruntowe oraz kategorie geotechniczne obiektów. Zasady kwalifikacji...
-
Przede wszystkim rachunek ekonomiczny. Wnioski o dofinansowaniu ze środków unijnych
PublicationAnaliza dokumentacji związanych z inwestycjami. Spójność dokumentacji, formalna zgodność z programami, strona ekonomiczna. Wykazano dyskwalifikujące braki w zakresie dokumentacji projektowej oraz kosztorysowej. Brak liczenia się ze stroną ekonomiczną inwestycji komunalnych oraz eksploatacją.
-
Alternative shaper: a model for automatic design generation
Publication -
Excition interactions in emitters of organic electroluminescent diodes
Publication -
Trzy historyczne miejsca kultu - włączone-wyłączone a przestrzeń miasta Gdańska = Three historic sities for religious cult - included-excluded in the space of the city of Gdansk.
Publicationpublikacja przedstwia historię 3 wybranych świątyń w gdańsku, które zmieniały obrządek oraz ich deklaratywną rolę we współczesnym mieście wynikajacą z potrzeb i możliwości obrządku oraz lokalizacji.trzy obiekty to: cerkiew prawosławna ul. traugutta w gdańsku-wrzeszczu,synagoga w gdańsku-wrzeszczu, kośiół-cerkiew unicka w gdańsku głównym. autor zwraca uwagę na wartości zarówno formalne jak i duchowe oraz związki nieformalne.
-
Współczesne cykle wytwarzania oprogramowania
PublicationPraca omawia inne stosowane współcześnie cykle wytwórcze. Do dyskusji wybra-ne zostały modele, których wykorzystanie przynosi satysfakcjonujące rezulta-ty (wytwarzanie obiektowe, ponowne użycie oprogramowania z wykorzystaniemkomponentów i wzorców, ponowna inżynieria systemów), podejścia, których sto-sowanie nie jest oceniane jednoznacznie (jak to ma miejsce w wypadku metody-ki SSM Checklanda) oraz modele uważane, obok wymienionych,...
-
Sravnitel'no-sopostavitel'nyj analiz cifrovoj reprezentacii leksem s differencirovannoj akcentuaciej
PublicationArtykuł poświęcony jest językoznawczej analizie kontrastywnej dźwięków mowy systemów języka cechujących się "płynnym" akcentowaniem homograficznych leksemów. Język rosyjski jest na wskroś reprezentatywnym przykładem takiego właśnie systemu. W prezentowanej tu metodzie analizy materiałem wyjściowym są cyfrowe nagrania mowy żywej artykułowanej przez lektorów języka rosyjskiego. Akustyczna (cyfrowa) reprezentacja leksemów o tożsamej...
-
Pozyskiwanie wiedzy dla zarządzania przepływem informacji.
PublicationW pracy scharakteryzowano problemy formalnego (ilościowego) i miękkiego (jakościowego) modelowanie przepływu informacji w systemach autonomicznych.
-
A risk-based method for ship safety assessment at the preliminary designstage
PublicationPraca zawiera wyniki badań dotyczących opracowania metody do analizy bezpieczeństwa statku w warunkach krytycznych. Metoda oparta jest na podejściu systemowym do oceny bezpieczeństwa, formalnej ocenie bezpieczeństwa FSA i hydromechanice okrętu. Podano przykłady oceny ryzyka utraty statku w warunkach krytycznych.
-
Działalność Uniwersytetów Dziecięcych w Polsce
PublicationW artykule na podstawie własnych badań scharakteryzowano działalność Uniwersytetów Dziecięcych (UD) w Polsce w roku akademickim 2018/2019 przez pryzmat kwestii dotyczących wymiaru personalnego i finansowego, a także oferty programowej skierowanej do słuchaczy. W badaniu brało udział 45 jednostek. Wyniki badań wskazują, że większość jednostek funkcjonuje w ramach szkolnictwa wyższego. Dominującą grupę prowadzących zajęcia stanowili...
-
Ontologie w Sieci Semantycznej
PublicationWraz z nastaniem ery Internetu i jego gwałtownym rozwojem, zasadniczym problemem dla współczesnej informatyki stała się automatyzacja pozyskiwania olbrzymich zasobów wiedzy ludzkiej w nim zgromadzonych. Wiedza ta ma bardzo zróżnicowany charakter z uwagi na wielość formatów zapisu danych, a przede wszystkim z uwagi na różny stopień jej ustrukturalizowania. Jedną z najbardziej popularnych idei dążących do systematycznego podejścia...
-
Kulturowe determinanty zarządzania przedsiębiorstwami klastrowymi
PublicationCelem prezentowanego artykułu jest próba określenia swoistego kulturowego profilu zarządzania specyficznym rodzajem organizacji, jaką jest tzw. przedsiębiorstwo klastrowe, czyli podmiot gospodarczy wchodzący w skład formalnie wyodrębnionej z otoczenia „nadorganizacji” (lub po prostu organizacji wyższego rzędu), za jaką uważana jest inicjatywa klastrowa.
-
Koncepcja urbanistyczna dzielnicy "Alfa Park" w Gdańsku
PublicationKoncepcja urbanistyczna w formacie masterplanu opracowana dla obszaru dawnego poligonu wojskowego w rejonie ul.Myśliwskiej i przystanku PKM Jasień
-
Zachowanie poprzez sieciowanie w przedsiębiorczości społecznej w odpowiedzi na trudne otoczenie instytucjonalne – przypadek 5 spółdzielni socjalnych
PublicationCelem niniejszego artykułu jest zobrazowanie procesów, jakimi są zachowania przedsiębiorców, zachodzących w przedsiębiorczości społecznej w odpowiedzi na trudne otoczenie instytucjonalne. Opisano zachowania przedsiębiorcze przedstawicieli pięciu spółdzielni socjalnych na podstawie pogłębionych wywiadów i obserwacji . Za pomocą metody ciągłego porównywania wyodrębniono 3 główne kategorie zachowań badanych przedsiębiorców, które...
-
Problemy posadowienia podpór mostu drogowego na palach prefabrykowanych.
PublicationStosowanie prefabrykowanych pali wbijanych jest obecnie bardzo częste do różnych rodzajów budownictwa. Przedstawiono zastosowanie takich pali dla posadowienia podpór mostu. Pomimo formalnie bardzo podobnych warunków geotechnicznych przyczółki wykazały zróżnicowane osiadania. Przedstawiono analizę warunków posadowienia, analizę nośności i pomiary rzeczywistych osiadań z wykorzystaniem pomiarów geodezyjnych.
-
A model of an Ontology Oriented Threat Detection System (OOTDS)
PublicationArtykuł omawia projekt zorientowanego na ontologię systemu wykrywania zagrożeń (OOTDS) dla środowiska opisywalnego przez ontologię Bayesowską pierwszego rzędu wyrażoną w języku PR-OWL. Zakłada się, że środowisko monitorowane jest przez zbiór czujników dostarczających nieustannie systemowi OOTDS zdarzenia odzwierciedlające zmiany środowiska, wyrażone w specyficzny dla czujników sposób. Dedykowane moduły obsługi zdarzeń konwertują...
-
Music Information Retrieval in Music Repositories
PublicationThis chapter reviews the key concepts associated with automated Music Information Retrieval (MIR). First, current research trends and system solutions in terms of music retrieval and music recommendation are discussed. Next, experiments performed on a constructed music database are presented. A proposal for music retrieval and annotation aided by gaze tracking is also discussed.
-
Decisional DNA with embedded Relief-F linear regression for knowledge and experience management
PublicationOmowiono zastowania Decyzyjnego DNA, regresji liniowej oraz funkcji RELIEF-F w procesach formalnego modelowania i wspomagania zarzadzania wiedza oraz zarzadzania doswiadczeniem.
-
The uses of the pressuremeter test for the design of north transversal tunnel in Grenoble
PublicationWyniki otrzymane z badań presjometrycznych wykorzystano do obliczeń statycznych za pomocą programu Extreme, którym wyznacza się wartość średnią X, odchylenie standardowe, wartość charakterystyczną Xk i rozkład teoretyczny każdego z parametrów. Obliczono wartość charakterystyczną kąta tarcia wewnętrznego dla każdego rodzaju gruntów z prawdopodobieństwem Alfa (równym 5%). Badano rozkłady: normalny, log normalny, wykładniczy, Weybulla,...
-
Projektowanie gier komputerowych z wykorzystaniem Unreal Development Kit
PublicationW pracy przedstawiono pakiet narzędziowy Unreal Development Kit (UDK) umożliwiający tworzenie gier w oparciu o silnik Unreal Engine 3 (UE3). Silnik ten umożliwia tworzenie wieloplatformowych, zaawansowanych graficznie gier praktycznie dowolnego typu. UDK jest zasadniczo kompletnym środowiskiem wytwarzania gier oferując rozmaite narzędzia modelowania poziomów, w tym: edytor brył geometrycznych, siatek obiektów i terenu, bibliotekę...
-
Rodzina grafenu
PublicationTekst jest próbą sklasyfikowania istniejących materiałów z rodziny grafenu. W artykule podano definicje dwuwymiarowych materiałów węglowych i określono zasady tworzenia nazw dla nowych pochodnych grafenu, opierając się na wytycznych zaproponowanych przez międzynarodowy zespół redakcyjny czasopisma "Carbon"
-
Rok 2011 rokiem Jana Heweliusza
PublicationSejm Rzeczypospolitej Polskiej wraz z Radą Miasta Gdańska ustanowił rok 2011 ''Rokiem Jana Heweliusza''. poprzez organizację szeregu naukowych i kulturalnych wydarzeń skierowanych do różnych grup społecznych Miasto Gdańsk świętuje czterechsetną rocznice urodzin Wielkiego Gdańszczanina, którego odkrycia przyczyniły się do rozwoju europejskiej nauki.
-
Pomorskie Święto Nauki
PublicationOmówienie atrakcji dla pasjonatów nauk ścisłych i przyrodniczych na Bałtyckim Festiwalu Nauki zorganizowanym na Gdańskich Uczelniach.
-
Medal dla Andrzeja Januszajtisa
PublicationArtykuł poświęcony doc. dr Andrzejowi Januszajtisowi - pierwszemu laureatowi Medalu im Ignacego Adamczewskiego, najwyższego wyróżnienia za popularyzację fizyki przyznawanego przez Oddział Gdańskiego Towarzystwa Fizycznego
-
41 Konferencja EGAS w Gdańsku
PublicationW artykule przedstawiono najważniejsze informacje dotyczące cyklicznej konferencji zorganizowanej pod patronatem Europejskiego Towarzystwa Fizycznego przez Wydział Fizyki Technicznej i Matematyki Stosowanej Politechniki Gdańskiej oraz Instytut Fizyki Doświadczalnej Uniwersytetu Gdańskiego.
-
VII Bałtycki Festiwal Nauki
PublicationOmówienie atrakcji dla pasjonatów nauk ścisłych i przyrodniczych na Bałtyckim Festiwalu Nauki zorganizowanym na Gdańskich Uczelniach.
-
Medal dla Kazimierza Badziąga
PublicationArtykuł poświęcony doc. dr K. Badziagowi - laureatowi najwyższego wyróżnienia za popularyzację fizyki przyznawanego przez Oddział Gdańskiego Towarzystwa Fizycznego
-
Oddział Gdański
Publication -
Jubileusz 90-tych urodzin profesora Michaela Kashy
PublicationArtykuł poświęcony jubileuszowi profesora Michaela Kashy, który odbył się na Uniwersytecie Gdańskim z okazji jego 90-tych urodzin.
-
Wieści z Gdańska
PublicationInformacja o działalności Oddziału Gdańskiego PTF w przeciągu ostatniego roku.
-
Protokół głosowania większościowego w narzędziu wsparcia decyzji handlowych
PublicationIstnieje szerokie spektrum narzędzi i metod wspierających decyzje handlowe, lecz brakuj jasnych reguł ich stosowania. Zaproponowano samoorganizujacy się system agentowy do wspierania decyzji handlowych. System bazując na glosowaniu z dynamicznymi wagami, wskazuje efektywne indykatory na podstawie ich poprzednich osiągnięć. Przedstawiono analizę formalną i wyniki weryfikacji, potwierdzającej cechy rozwiązania.
-
Krajowa Polityka Miejska jako wyraz miastopoglądu?
PublicationPo dwóch latach pracy w październiku 2015 Krajowa Polityka Miejska została przyjęta przez rząd RP, jako krok w stronę skoordynowania działań, w odpowiedzi na wyzwania stojące przed polskimi miastami. Jest to nowe podejście, choć Polska nie jest jedynym krajem na świecie stosującym to narzędzie koordynacji zarządzania miastami. W Krajowej Polityce Miejskiej zebrano wyniki ekspertyz rządowych. Jej ustalenia mają kierunkować zarówno...
-
Potrzeba uporządkowania procesu budowlanego w fazie odbiorów
PublicationProblem dyscyplinowania procesu budowlanego. Częste odstępstwa i bylejakość, w tym niewłaściwe procedury odbiorowe. Konieczność wzmocnienia strony formalnej, w tym zwłaszcza odbiorów inwestycji, co jest szczególnie istotne w przypadku inwestycji współfinansowanych. Niski poziom przeciętnego inwestora, służb samorządowych, zwłaszcza inspektorów nadzoru inwestorskiego. Co najmniej regionalnie bardzo poważne problemy z zapewnieniem...
-
W świecie atomów i molekuł
PublicationW artykule przedstawiono najważniejsze informacje dotyczące tematyki cyklicznej konferencji zorganizowanej pod patronatem Europejskiego Towarzystwa Fizycznego przez Wydział Fizyki Technicznej i Matematyki Stosowanej Politechniki Gdańskiej oraz Instytut Fizyki Doświadczalnej Uniwersytetu Gdańskiego.
-
Finite automata for compact representation of language models in NLP
PublicationPrzedstawiona zostaje technika reprezentacji modeli języka w przetwarzaniu języka naturalnego wymagająca mało pamięci. Po krótkim omówieniu przyczyn poszukiwania oszczędnej reprezentacji takich modeli języka, pokazane jest, jak automaty skończone mogą być użyte w tym celu. Technika może być postrzegana jako zastosowanie i rozszerzenie doskonałej funkcji mieszającej z wykorzystaniem automatów skończonych. Pierwsze doświadczenia...
-
Sieciowy Monitor Obiektu – rozproszony system inteligentnego zarządzania złożonymi obiektami przemysłowymi
PublicationCelem pracy jest opracowanie kompletnego środowiska pozwalającego na budowę autonomicznych systemów diagnostyki, monitorowania, sterowania i zarządzania inteligentnymi budynkami. W ramach przeprowadzonych prac badawczych przedstawiono opracowaną koncepcję Sieciowego Monitora Obiektu (SMO) oraz metody komunikacji pomiędzy urządzeniami pomiarowo- diagnostyczno-sterującymi w oparciu o wspólną szynę danych Diagnostic Service...
-
Dofinansowania z powiatowych urzędów pracy na rozpoczęcie działalności gospodarczej jako forma wsparcia mikro i małej przedsiębiorczości wraz z oceną jej efektywności na wybranych przykładach.
PublicationArtykuł opisuje zagadnienia związane z dofinansowaniami ze środków oferowanych przez powiatowe urzędy pracy na prowadzenie działalności gospodarczej. Uzyskanie dotacji wynoszącej nawet sześciokrotność przeciętnego wynagrodzenia w gospodarce narodowej, wymaga spełnienia kilku kryteriów. Poniższy artykuł opisuje najważniejsze kwestie i wymogi formalne związane z ubieganiem się o środki na dofinansowanie jednoosobowej działalności...
-
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...