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
-
Artificjal environment for simulation of emergent behaviour
PublikacjaPrzedstawiono 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.
-
Wykorzystanie WAP i WML w usługach bezprzewodowych.
PublikacjaOpisano 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.
-
Ekspertyza dotycząca oszacowania wartości odtwarzacza plików mp3 w telefonie komórkowym
PublikacjaEkspertyza 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
PublikacjaInternetowy 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
PublikacjaInternetowy 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.
PublikacjaDruk 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.
PublikacjaArtykuł 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
PublikacjaW 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.
OsobyStarszy wykładowca na Wydziale Architektury Politechniki Gdańskiej. W latach 1996 – 2014 pracowała w Katedrze Użyteczności Publicznej, a obecnie jest zatrudniona w Katedrze Projektowania Środowiskowego. W roku 2006 uzyskała tytuł doktora. Od roku 2011 jest członkiem POIA RP. W latach 2014 – 2017 była członkiem Rady Wydziału. W pracy badawczej zajmuje się problematyką związaną z przestrzeniami ekspozycyjnymi. W obszarze jej zainteresowań...
-
Nowoczesny menedżeryzm sądowy
PublikacjaCelem 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...
-
Cognitive dimensions questionnaire applied to visual modelling language evaluation - a case study.
PublikacjaW 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.
-
Inspiracje muzyczne we współczesnej architekturze.
PublikacjaW 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
PublikacjaThe 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
PublikacjaWe 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.
-
Języki projektowania HDL 2023/24
Kursy OnlineCel przedmiotu: Zapoznanie z metodami projektowania i symulacji cyfrowych układów programowalnych i ASIC z wykorzystaniem języków opisu sprzętu. Treści przedmiotu: 1. Wprowadzenie, znaczenie i zastosowania języków HDL. Historia powstania języka Verilog. 2. Poziomy opisu sprzętu (Verilog). 3. Metodologie projektowania. Prosty przykład. 4. Składnia języka Verilog. 5. Typy danych. 6. Zadania systemowe i dyrektywy kompilatora. 7....
-
Języki projektowania HDL 2022/23
Kursy OnlineCel przedmiotu: Zapoznanie z metodami projektowania i symulacji cyfrowych układów programowalnych i ASIC z wykorzystaniem języków opisu sprzętu. Treści przedmiotu: 1. Wprowadzenie, znaczenie i zastosowania języków HDL. Historia powstania języka Verilog. 2. Poziomy opisu sprzętu (Verilog). 3. Metodologie projektowania. Prosty przykład. 4. Składnia języka Verilog. 5. Typy danych. 6. Zadania systemowe i dyrektywy kompilatora. 7....
-
Języki projektowania HDL 2021/22
Kursy OnlineCel przedmiotu: Zapoznanie z metodami projektowania i symulacji cyfrowych układów programowalnych i ASIC z wykorzystaniem języków opisu sprzętu. Treści przedmiotu: 1. Wprowadzenie, znaczenie i zastosowania języków HDL. Historia powstania języka Verilog. 2. Poziomy opisu sprzętu (Verilog). 3. Metodologie projektowania. Prosty przykład. 4. Składnia języka Verilog. 5. Typy danych. 6. Zadania systemowe i dyrektywy kompilatora. 7....
-
Języki projektowania HDL-stary!
Kursy OnlineCel przedmiotu: Zapoznanie z metodami projektowania i symulacji cyfrowych układów programowalnych i ASIC z wykorzystaniem języków opisu sprzętu. Treści przedmiotu: 1. Wprowadzenie, znaczenie i zastosowania języków HDL. Historia powstania języka Verilog. 2. Poziomy opisu sprzętu (Verilog). 3. Metodologie projektowania. Prosty przykład. 4. Składnia języka Verilog. 5. Typy danych. 6. Zadania systemowe i dyrektywy kompilatora. 7....
-
Zdolni z Pomorza 2020 / 2021- Podstawy programowania w języku C++
Kursy OnlineCelem 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.
Kursy OnlineCelem 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...
-
Charakterystyka otwartych platform do automatycznego wykonywania scenariuszy
PublikacjaZaprezentowano 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)
PublikacjaKatalog 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
PublikacjaRozdział 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.
-
Historia kształtowania polskiej terminologii elektrotechnicznej
PublikacjaPrzedstawiono 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.
-
Generowanie tekstu z użyciem sieci typu Transformer
PublikacjaOpisano 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.
-
I Triennale Sztuki Pomorskiej, Sopot 2013
PublikacjaKatalog 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.
-
Formal Methods in Computer-Aided Design
Konferencje -
Formal Power Series and Algebraic Combinatorics
Konferencje -
A methodology of visual modeling language evaluation
PublikacjaMetody 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.
-
A performance-oriented risk-based method for assessment of safety of ships. Modelling uncertainties in hazard and risk analysis
PublikacjaW 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...
-
Estimation of pile bearing capacity by dynamic and static tests
PublikacjaBadania 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...
-
Istota indywidualnego projektowania domów
PublikacjaDomy 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
PublikacjaPrzedstawiono 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
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 ł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
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 ł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
PublikacjaOszacowanie 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.
-
Elementy programowania NSTC
Kursy OnlineNauka programowania w języku python.
-
Podstawy Informatyki dla kierunku projektowanie Jachtów
Kursy OnlinePodstawy programowania w języku Python
-
Modelowanie internetowych aplikacji rozproszonych w zastosowaniach ekonomicznych i biznesowych
PublikacjaPrzestawiono 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...
-
Workshop on Formal Techniques for Java-like Programs (Workshop on Formal Techniques for Java Programs [FTJP])
Konferencje -
Wycinki - Krzysztof Wróblewski, 09.07-12.08.2011 Gdańska Galeria Miejska
PublikacjaDruk 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.
PublikacjaKatalog 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.
-
Nowe obrazy, 17 września 2010r.- wystawa indywidualna
PublikacjaKatalog 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].
-
2012 Gdańskie Biennale Sztuki
PublikacjaWystawa 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.
PublikacjaDiaspora 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
PublikacjaPrzedstawiono zmiany w nauczaniu matematyki i fizyki na Wydziale Mechanicznym Politechniki Gdańskiej
-
passive spice networks from non-passive data
PublikacjaArtykuł 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.
-
Ewa Drzazga-Szczęśniak dr inż.
Osoby -
VI Międzynarodowe Biennale Malarstwa i Tkaniny Unikatowej. Barwy i Faktury - Gdynia 2011, Muzeum Miasta Gdyni
PublikacjaKatalog 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
PublikacjaKatalog 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.