Filters
total: 2193
-
Catalog
- Publications 1054 available results
- Journals 24 available results
- Conferences 24 available results
- Publishing Houses 6 available results
- People 231 available results
- Projects 8 available results
- Laboratories 6 available results
- Research Teams 5 available results
- Research Equipment 2 available results
- e-Learning Courses 646 available results
- Events 88 available results
- Open Research Data 99 available results
displaying 1000 best results Help
Search results for: JĘZYKI FORMALNE
-
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.
-
Zdolni z Pomorza 2020 / 2021- Podstawy programowania w języku C++
e-Learning CoursesCelem kursu e-learningowego jest zapoznanie uczestników z podstawami programowania w języku C++ w zakresie tworzenia programów komputerowych. Materiał przedstawiany na kursie będzie obejmował wprowadzenie do zagadnień programowania obiektowego w języku C++. Od uczniów wymagana jest podstawowa wiedza w zakresie obsługi komputerów oraz instalacji oprogramowania, w tym środowiska programistycznego. Mile widziane są wcześniejsze doświadczenia...
-
ZzP 2020 / 2021- Podstawy programowania w języku C++ - Spotkanie Akademickie 24.04.2021 r.
e-Learning CoursesCelem kursu e-learningowego jest zapoznanie uczestników z podstawami programowania w języku C++ w zakresie tworzenia programów komputerowych. Materiał przedstawiany na kursie będzie obejmował wprowadzenie do zagadnień programowania obiektowego w języku C++. Od uczniów wymagana jest podstawowa wiedza w zakresie obsługi komputerów oraz instalacji oprogramowania, w tym środowiska programistycznego. Mile widziane są wcześniejsze doświadczenia...
-
Ekspertyza dotycząca oszacowania wartości odtwarzacza plików mp3 w telefonie komórkowym
PublicationEkspertyza ma na celu rozstrzygnięcie kwestii czy jest możliwe ustalenie, jaką część telefonu komórkowego stanowi odtwarzacz plików w formacie mp3 i czy jest on w takim przypadku "urządzeniem w urządzeniu", czy też jest to wyłącznie aplikacja.
-
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.
-
bez tytułu
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.
-
Krechowicz - nowe obrazy, Nadbałtyckie Centrum Kultury, Galeria NCK, Ratusz Staromiejski, 2-29 lipca 2011r.
PublicationDruk do wystawy malarstwa, która miała miejsce w lipcu 2011 roku w Nadbałtyckim Centrum Kultury w Gdańsku. Druk zawiera tekst krytyczny autorstwa Dominiki Krechowicz i notę biograficzną w języku polskim oraz jedną kolorową reprodukcję pracy. Wydawcą jest Nadbałtyckie Centrum Kultury w Gdańsku.
-
Biało na białym.
PublicationArtykuł zamieszczony w kwartalniku ''EXIT nowa sztuka w Polsce''. Tekst dotyczy twórczości malarskiej Jana Buczkowskiego i opisuje ''Białe obrazy'' powstałe od 1998 roku. Publikacja związana jest z wystawą galerii ''Koło'' w Gdańsku w maju 2002. Tekst wydany w języku polskim i angielskim.
-
An interactive system for mobile robot navigation
PublicationW pracy przedstawiono interaktywny system do zdalnego sterowania robotem mobilnym zbudowany przy użyciu języka VRML. System jest wspomagany przez algorytm wyznaczania optymalnej trajektorii ruchu robota mobilnego poruszającego się w obecności przeszkód statycznych. Otoczenie reprezentowane jest przez graf nieskierowany. W metodzie wykorzystano algorytm Dijkstry.
-
Dorota Wojtowicz-Jankowska dr hab. inż. arch.
PeopleSenior lecturer at the Faculty of Architecture, Gdansk University of Technology. In the years 1996 - 2014 she worked at the Department of Public Utilities and she is currently employed at the Department of Environmental Design. In 2006 she was awarded the title of doctor. Since 2011 he has been a member of POIA RP. In the years 2014 - 2017 she was a member of the Faculty Council. In his research work, he deals with issues connected...
-
Cognitive dimensions questionnaire applied to visual modelling language evaluation - a case study.
PublicationW celu osiągnięcia większej dojrzałości w inżynierii języków modelowania wizualnego, wymagane są skuteczne metody oceny języków modelowania wizualnego.W artykule zaprezentowano studium przypadku zastosowania ankiety wymiarów poznawczych do oceny UML wspomaganego przez narzędzia CASE. Metoda obejmuje dyskusję zastosowania wymiarów poznawczych do tego celu oraz wyniki badań empirycznych.
-
Nowoczesny menedżeryzm sądowy
PublicationCelem artykułu jest ocena rozwiązań przyjętych w wymiarze sprawiedliwości dotyczących zarządzania nim przez profesjonalne podmioty. Artykuł odpowiada na pytania, na ile formalne kompetencje menedżerów sądowych pokrywają się z kompetencjami merytorycznymi i praktycznymi. I wreszcie, na ile menedżerowie są świadomi wyzwań stojących przed współczesnym wymiarem sprawiedliwości w Polsce. Brak wiedzy i umiejętności z zakresu zarządzania...
-
Inspiracje muzyczne we współczesnej architekturze.
PublicationW pracy 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 pracy 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,...
-
Comparative analysis of the theoretical models of ideal propulsor, ideal fluid brake, ideal screw propeller and ideal axial wind turbine
PublicationThe article presents a detailed discussion of four different fluid dynamics devices.These devices are presented with all relevant mathematical formulae regarding the forces, the power and the efficiency. It is demonstrated that application of the Betz theorem to axial wind turbines is not correct and it underestimates the maximujm achievable efficiency. This conclusion is supported by numerical calculations.
-
Bending of a Three-Layered Plate with Surface Stresses
PublicationWe discuss here the bending deformations of a three-layered plate taking into account surface and interfacial stresses. The first-order shear deformation plate theory and the Gurtin-Murdoch model of surface stresses will be considered and the formulae for stiffness parameters of the plate are derived. Their dependence on surface elastic moduli will be analyzed.
-
Elementy programowania NSTC
e-Learning CoursesNauka programowania w języku python.
-
Podstawy Informatyki dla kierunku projektowanie Jachtów
e-Learning CoursesPodstawy programowania w języku Python
-
Charakterystyka otwartych platform do automatycznego wykonywania scenariuszy
PublicationZaprezentowano trzy najważniejsze otwarte platformy (SunOpen ESB, JBoss jBPM, Apache ODE) do automatycznego wykonywaniascenariuszy. Bazują one na dokumentach WS-BPEL 2.0, jako podstawowymformacie opisu wykonywanych scenariuszy. Przedstawiono przykład wdrażania scenariusza integrującego usługi bazowe dostępnej biblioteki, zapisanego w języku WS-BPEL na platformie Sun Open ESB.
-
Stocznia i Westerplatte z cyklu: Izoformy (2006)
PublicationKatalog wystawy sztuki, która miała miejsce w Gdańskiej Galerii Miejskiej w czerwcu 2010 roku. Katalog liczy 40 stron i zawiera teksty krytyczne i noty biograficzne w języku polskim oraz 50 kolorowych reprodukcji prac (informacje o autorze s.30,38). - [ISBN 978-83-929348-1-3]
-
Natural language dictionaries implemented as finite automata
PublicationRozdział przedstawia wykorzystanie automatów skończonych jako słowników języka naturalnego. Podane są podstawy teoretyczne. Omówione są zastosowania: realizacja doskonałej funkcji mieszającej, analizy i syntezy morfologicznej, poprawiania pisowni i dopisywania znaków diakrytycznych, wydobywanie informacji. Podano algorytmy tworzenia automatów oraz omówiono sposoby reprezentacji automatów z uwzględnieniem kompresji.
-
I Triennale Sztuki Pomorskiej, Sopot 2013
PublicationKatalog towarzyszący wystawie, która odbyła się w Państwowej Galerii Sztuki w Sopocie w terminie 26.01 – 3.03. 2013 roku. Publikacja liczy 92 strony i zawiera 68 reprodukcje prac i noty biograficzne i teksty krytyczne w języku polskim i angielskim. ISBN 978-83-61270-55-3.
-
Generowanie tekstu z użyciem sieci typu Transformer
PublicationOpisano działanie wybranych modeli uczenia maszynowego znajdujących zastosowanie w przetwarzaniu języka naturalnego w szczególności wy- korzystywanych do generowania tekstu. Przedstawiono również model BERT i jego różne wersje, a także praktyczne wykorzystanie modeli typu Transformer. Przedstawiono ich działanie w aplikacji zmieniającej nastrój tekstu w sposób sekwencyjny.
-
Historia kształtowania polskiej terminologii elektrotechnicznej
PublicationPrzedstawiono prace nad kształtowaniem języka w zakresie elektrotechniki. Prace te zaczynają od początków wykorzystania elektryczności pod koniec XIX wieku, kończą na dostosowaniu do norm europejskich i tworzeniu słownika internetowego. Omówiono wydarzenia związane z organizacją słowotwórstwa oraz najważniejsze publikacji zawierające słownictwo obowiązujące w danym okresie.
-
Formal Methods in Computer-Aided Design
Conferences -
Formal Power Series and Algebraic Combinatorics
Conferences -
A methodology of visual modeling language evaluation
PublicationMetody oceny jakości metod modelowania są istotnym elementem inżynierii języków modelowania wizualnego. W referacie zaproponowano metodę oceny języków modelowania wizualnego na podstawie wymiarów poznawczych. Zaprezentowano metodologiczną dyskusję zastosowania nauk psychologicznych do oceny metod modelowania, metodologię CD-VML, powiązaną z nią metodę CD-VML-UC do oceny przypadków użycia oraz weryfikację metodologii.
-
Estimation of pile bearing capacity by dynamic and static tests
PublicationBadania dynamiczne, szczególnie dla pali wbijanych, w budownictwie hydrotechnicznym stają się coraz bardziej popularne. Badania, poparte formalnie zapisami zawartymi w Eurokodzie 7, wykorzystywane w badaniach ''na wodzie'' i ''na lądzie'' są szybkie i ekonomiczne. Przedstawiono serię badań dla gruntów uwarstwionych dla pali prefabrykowanych żelbetowych, wbijanych stalowych pali rurowych oraz pali Vibro-Fundex. Badania dynamiczne...
-
A performance-oriented risk-based method for assessment of safety of ships. Modelling uncertainties in hazard and risk analysis
PublicationW artykule podano informacje na temat alternatywnej metody oceny bezpieczeństwa statków, opartej na ocenie zachowania się statku i ocenie ryzyka. Zaproponowano użycie metody do projektowania statków w oparciu o ocenę ryzyka. W takim podejściu do projektowania bezpieczeństwo powinno być celem projektowym. Ocena bezpieczeństwa w proponowanej metodzie powinna być dokonywana na podstawie oceny ryzyka. Do oceny ryzyka zastosowano elementy...
-
Istota indywidualnego projektowania domów
PublicationDomy to przestrzenie stanowiące formalną i symboliczną odpowiedź na potrzebę i konieczność zamieszkiwania. Ich indywidualne projektowanie ma za zadanie odpowiedzieć na definiowane przez przyszłych mieszkańców potrzeby w warstwie fizycznej i aksjologicznej. W wyniku twórczego dialogu i wartościowego spotkania twórcy obiektu i jego przyszłego użytkownika powstaje przestrzeń będąca schronieniem, zabezpieczeniem oczekiwań, a jednocześnie...
-
Zastosowanie badań symulacyjnych w projektowaniu układów automatyki podsystemów energetycznych statków
PublicationPrzedstawiono strukturę i funkcje systemu informatycznego wspomagania projektowania układów automatyki statku. Szczególną uwagę zwrócono na funkcję oceny rozwiązań projektowych na podstawie prowadzonych badań symulacyjnych. Omówiono reprezentację wiedzy o projektowanym podsystemie energetycznym statku, dobór struktur modeli elementów składowych podsystemów umożliwiający zastosowanie reguł do budowy modeli symulacyjnych i reguły...
-
Komputerowe wspomaganie zmian modernizowanych układów geometrycznych toru kolejowego z wykorzystaniem programu MUGO
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 łukach. W pracy scharakteryzowano zastosowany język programowania oraz przedstawiono aktualny stan pracy nad programem MUGO.
-
Komputerowe wspomaganie zmian modernizowanych układów geometrycznych toru kolejowego z wykorzystaniem programu MUGO
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 łukach. W pracy scharakteryzowano zastosowany język programowania oraz przedstawiono aktualny stan pracy nad programem MUGO.
-
Oszacowanie kąta tarcia wewnętrznego piasków morskich na podstawie sondowań statycznych metodą CPTU
PublicationOszacowanie kąta tarcia wewnętrznego piasków na Wybrzeżu Bałtyku w gruntach normalnie skonsolidowanych i prekonsolidowanych, starych złożach i refulatach. Porównanie tych wartości z wynikami badań w aparacie trójosiowego ściskania.Dobór odpowiednich zależności korelacyjnych między wynikami badań laboratoryjnych i terenowych.
-
Workshop on Formal Techniques for Java-like Programs (Workshop on Formal Techniques for Java Programs [FTJP])
Conferences -
Modelowanie internetowych aplikacji rozproszonych w zastosowaniach ekonomicznych i biznesowych
PublicationPrzestawiono problematykę rozproszonych aplikacji internetowych w zastosowaniach biznesowych. Zaprezentowano podejścia do modelowania oprogramowania dla rozwiązań komercyjnych. Scharakteryzowano podstawowe języki służące do modelowania oraz pokazano schematy operacyjne. W zakresie rozwiązań praktycznych pokazano modularną strukturę systemu zarządzającego ze zwróceniem uwagi na jego skalowalność oraz modyfikowalność. Omówiono etapy...
-
Nowe obrazy, 17 września 2010r.- wystawa indywidualna
PublicationKatalog wystawy indywidualnej malarstwa, która odbyła się we wrześniu 2010r. w galerii Atelier w Warszawie. Wystawa prezentowała najnowsze obrazy artystki. Katalog liczy 12 stron i zawiera tekst krytyczny autorstwa samej artystki i notę biograficzną w języku polskim oraz 12 kolorowych reprodukcji [ISBN: 978-83-918765-2-7].
-
Wycinki - Krzysztof Wróblewski, 09.07-12.08.2011 Gdańska Galeria Miejska
PublicationDruk do wystawy malarstwa, która miała miejsce w lipcu 2011 w Gdańskiej Galerii Miejskiej. Druk składa się z obustronnie zadrukowanej kartki formatu a3 i zawiera teksty krytyczne i notę biograficzną w języku polskim i angielskim oraz 4 kolorowe reprodukcje prac. Wydawcą jest Gdańska Galeria Miejska 1.
-
Labirynt, Galeria BWA Lublin.
PublicationKatalog towarzyszący wystawom, które miały miejsce w galeriach BWA Lublin w 2009/2010 roku. Publikacja liczy 112 stron i zawiera teksty krytyczne w języku polskim i angielskim oraz 199 kolorowych reprodukcji (praca autora s.76). Wydawcą katalogu jest bwa lublin. ISBN 978-84-88458-13-2.
-
2012 Gdańskie Biennale Sztuki
PublicationWystawa sztuki, która miała miejsce w Gdańskiej Galerii Miejskiej w terminie 21.04 - 17.06.2012. Katalog towarzyszacy wystawie liczy 40 stron i zawiera tekst krytyczny oraz noty biograficzne autorów w języku polskim oraz 35 kolorowych reprodukcji prac (prace autorów s.15, 27). Wydawcą katalogu jest Gdańska Galeria Güntera Grassa.
-
Pola aktywności zawodowej diaspory polskiej.
PublicationDiaspora polska jest społecznością zróżnicowaną pod względem zawodowym i społecznym. Szacuje się, że większość emigrantów uzyskuje w kraju osiedlenia niższy status zawodowy i społeczny, przy jednoczesnym polepszeniu standardu życiowego. Problemy z zaistnieniem w nowym środowisku pracy uwarunkowane są zwłaszcza słabą znajomością języka, słabym wykształceniem czy różnicami kulturowymi.
-
Zajęcia wyrównawcze na Wydziale Mechanicznym
PublicationPrzedstawiono zmiany w nauczaniu matematyki i fizyki na Wydziale Mechanicznym Politechniki Gdańskiej
-
passive spice networks from non-passive data
PublicationArtykuł przestawia technike generacji schematow zastepczych w formacie SPICE dla pasywnych układów mikrofalowych. Wynikowy schemat zastepczy ma zagwarantowana pasywnosc. Schematy zastepcze powstaja na podstawie symulacji lub pomiarow w dziedzinie czestotliwosci i moga byc wykorzystane do symulacji w dziedzinie czasu.
-
VI Międzynarodowe Biennale Malarstwa i Tkaniny Unikatowej. Barwy i Faktury - Gdynia 2011, Muzeum Miasta Gdyni
PublicationKatalog wystawy sztuki, która miała miejsce w Muzeum miasta Gdyni. Organizatorem wystawy było stowarzyszenie promocji artystów wybrzeża Era Art w Gdyni. Katalog liczy 120 stron i zawiera tekst krytyczn w języku polskim i angielskim oraz 138 kolorowych reprodukcji prac (prace autora s.38). Wydawcą katalogu jest Muzeum miasta Gdyni.
-
VII Triennale Polskiego Rysunku Współczesnego Lubaczów 2011, Muzeum Kresów w Lubaczowie
PublicationKatalog towarzyszący wystawie rysunku, która odbyła się w muzeum kresów w lubaczowie. Katalog liczy 182 strony i zawiera teksty krytyczne i notę biograficzną w języku polskim oraz 117 kolorowych reprodukcji prac (praca autora s.139,140). Wydawcą katalogu jest Muzeum Kresów w Lubaczowie. ISBN 978-83-929590-7-6.
-
Using UML/WS-CDL for modelling negotiation scenarios
PublicationW celu usprawnienia realizacji przedsięwzięć ludzkich w Internecie potrzebne jest zdefiniowanie reguł i procedur komunikacji pomiędzy uczestnikami. Scenariusze przedsięwzięć mogą być wyrażane w językach opisu choreografii. Artykuł prezentuje metodologię tworzenia scenariuszy w języku WS-CDL oraz wyniki eksperymentów polegających na przeprowadzeniu negocjacji w Internecie z wykorzystaniem różnych scenariuszy negocjacyjnych.
-
9 triennale małych form malarskich, Toruń 2013
PublicationKatalog towarzyszący wystawie 9 triennale małych form malarskich, która odbyła się w galerii sztuki Wozownia w Toruniu w 2013 roku. Katalog liczy 96 stron i zawiera teksty krytyczne i noty biograficzne laureatów w języku polskim i angielskim oraz 123 kolorowe reprodukcje prac. ISBN 978-83-63211-21-9.
-
Wystawa z cyklu: Oblicza obejścia - kluki i kury, Dąbrówka Tyślewicz
PublicationWystawa fotografii, która odbyła się w sali zabytkowej karczmy z Rumii w Muzeum - Kaszubski Park Etnograficzny im. Teodory i Izydora Gulgowskich we Wdzydzach Kiszewskich w 2011 roku. Katalog towarzyszący wystawie liczy 16 stron i zawiera teksty krytyczne i notę biograficzną w języku polskim oraz 42 kolorowe reprodukcje prac.
-
System ewidencji wspomagający pracę dziekanatu bazujący na środowisku DELPHI i SQL.
PublicationNiniejszy artykuł przedstawia projekt systemu bazy danych na przykładzie aplikacji Student 2003'. Przedstawiono w nim m.in.: charakterystykę tworzenia oprogramowania w Delphi, funkcjonowanie aplikacji na serwerze Interbase, tworzenie bazy danych w języku SQL (tworzenie pliku bazy danych, tabel), tworzenie zapytań, procedur zapamiętanych, obsługę procedur zapamiętanych w Delphi, mechanizm transakcji.
-
Ewa Drzazga-Szczęśniak dr inż.
People