Filters
total: 2231
-
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
displaying 1000 best results Help
Search results for: JĘZYKI FORMALNE
-
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.
-
EKSPERTYZA TECHNICZNA WOZÓW WYCIĄGOWYCH NA POCHYLNIACH KANAŁU ELBLĄSKIEGO – DLA POCHYLNI BUCZYNIEC I JELENIE
PublicationGłównym celem wykonanej ekspertyzy było wykonanie oceny stanu technicznego wozów wyciągowych znajdujących się na pochylniach Buczyniec i Jelenie, wraz ze wskazaniem przyczyn ich nieprawidłowego funkcjonowania oraz sformułowaniem zaleceń dotyczących dalszej eksploatacji. W ramach wykonanej ekspertyzy przeanalizowano istniejącą dokumentację techniczną i formalną oraz wykonano trzy wizje lokalne na pochylni Buczyniec i dwie wizje...
-
Wzornictwo regionalne jako źródło inspiracji we współczesnym projektowaniu architektonicznym
PublicationKaszuby to region o wyjątkowym wzornictwie regionalnym. Ocalało wiele dobrze zachowanych przykładów zabudowy ruralistycznej i samych obiektów architektonicznych. Szczególną rolę pełni tu wdzydzki skansen stanowiący pełnowymiarowy wzornik inspirujący współczesnych twórców. Rozwiązania formalne oraz detale rzemieślnicze utrwalone tradycją zdobniczą i określoną topografią oraz zasobnością regionu, a także elementy dekoracyjne towarzyszące...
-
Elektrownia Ostrołęka C w budowie a „momentum-FSI”
PublicationMimo przeszkód, trwa budowa elektrowni Ostrołęka C. O tym zapewniają nas główni decydenci – Jarosław Małkowski, Prezes Elektrowni Ostrołęka, czy Sławomir Żygowski, Prezes GE Power, firmy odpowiedzialnej projekt, wykonanie i budowę. Możemy o tym dowiedzieć się w mediach społecznościowych. Ale te same media informują również, że 31 lipca 2019 r. Sąd okręgowy w Poznaniu stwierdził nieważność uchwały Walnego Zebrania Akcjonariuszy...
-
Modelowanie scenariuszy negocjacyjnych w celu zwiększenia skuteczności realizacji przedsięwzięć zespołowych
PublicationNegocjacje są istotną częścią wielu przedsięwzięć ludzkich, również tych, które odbywają się w Internecie. Sposób ich przeprowadzania, czyli scenariusz negocjacji, wpływa bezpośrednio na ich wyniki. Możliwe jest zatem zaproponowanie takich środowisk pośredniczących i scenariuszy negocjacyjnych, które pozytywnie wpłyną na wynik negocjacji.W pracy zaproponowano miary jakościowe pozwalające ocenić negocjacje. Przedstawiono rozproszone...
-
Elżbieta Starek mgr
PeopleAbsolwentka Uniwersytetu Gdańskiego; filolog klasyczny; wykładowca w Instytucie Studiów Klasycznych i Slawistyki w Zakładzie Filologii Klasycznej. Zainteresowania naukowe: dydaktyka języka łacińskiego oraz historia dydaktyki języka łacińskiego, sztuka i architektura rzymska oraz epigrafika. Współzałożycielka Zespołu Badań nad Inskrypcjami Greckimi i Łacińskimi.
-
Zestaw narzędzi wspomagających weryfikację koncepcji cyfrowego przetwarzania sygnałów
PublicationCyfrowe przetwarzanie sygnałów jest szeroko stosowane. Zagadnienia wydajnościowe złożonych filtrów powodują konieczność szukania nowych rozwiązań. Opracowywanie i weryfikacja filtrów z wykorzystaniem systemu resztowego czy przetwarzanie w systemach wieloagentowych nie ma aktualnie wsparcia w gotowych narzędziach. Planuje się stworzenie modułów programowych do weryfikacji koncepcji opartych o powyższe techniki, w języku C.
-
Dominika Krechowicz - Alias znaków, Toruń Galeria Sztuki Wozownia, październik-listopad 2011
PublicationKatalog wystawy malarstwa, która miała miejsce w październiku 2011 roku w Galerii Sztuki Wozownia w Toruniu. Katalog liczy 8 stron i zawiera tekst krytyczny w języku polskim i angielskim, notę biograficzną po polsku oraz 10 kolorowych reprodukcji prac. Wydawcą katalogu jest Galeria Sztuki Wozownia z Torunia. ISBN 83-89657-97-x.
-
Jan Buczkowski, widok z okna, view from the window
PublicationKatalog wystawy indywidualnej sztuki, która miała miejsce w Gdańskiej Galerii Güntera Grassa w terminie 2.03 – 14.04.2013. Katalog liczy 32 strony i zawiera tekst krytyczny oraz notę biograficzną autora w języku polskim i angielskim, oraz 17 kolorowych reprodukcji prac. Wydawcą katalogu jest Gdańska Galeria Güntera Grassa. ISBN 978-83-935408-3-9.
-
Światło i czas.
PublicationArtykuł zamieszczony w kwartalniku EXIT nowa sztuka w Polsce. Tekst dotyczy własnej twórczości autora i opisuje prace powstałe od 1998 roku zawarte w cyklach: ''Fragmenty'' ''Zasłony'' ''Krówki'' oraz ''Odcinki''. Publikacja związana jest z wystawa ''Światło/Czas'' w galerii ''Milano'' w Warszawie w kwietniu 2002. Tekst wydany w języku polskim i angielskim.
-
Application of case based reasoning to hybrid expert system for electronic filter design
PublicationPrzedstawiono koncepcję i przykład praktycznej realizacji obiektowo zorientowanego hybrydowego systemu ekspertowego wykorzystującego rozumowanie sytuacyjne. System wykorzystuje algorytmy najbliższego sąsiada i sztuczne sieci neuronowe. System został przetestowany jako klasyfikator decyzyjny w projektowaniu filtrów elektronicznych. W budowie systemu został wykorzystany obiektowy system CLIPS, rozszerzony o wiele dodatkowych funkcji...
-
Koncepcja oszacowania zanieczyszczeń zawartych w spalinach silników o zapłonie samoczynnym
PublicationZaproponowano model procesu rozruchu silników o zapłonie samoczynnym, w formie procesu semimarkowskiego. Zaproponowano również możliwość uwzględnienia w badaniach ilości substancji szkodliwych, zawartych w spalinach masy substancji zanieczyszczonej, jako zmiennej losowej. W rozważaniach tych przyjęto, że statystyka tej zmiennej ma rozkład asymptotycznie normalny.
-
Ciepłownia geotermalna w Uniejowie na tle warunków hydrogeologicznych Polski
PublicationPrzeprowadzono szczegółowy przegląd warunków hydrogeologicznycb Polski, charakteryzując poszczególne obszary wartościami gęstości podpowierzchniowego strumienia ciepła i gradientu temperatury, a także podając ich powierzchnie i kubatury zawartych tam wód termalnych. Podano szczegółowy opis systemu grzewczego w uniwejowie, wykorzystującego lokalne wody termalne i wspomaganego pracą kotłów weodnych.
-
Skills mismatch in the context of technological change
PublicationThe main purpose of this dissertation is to assess the perception asymmetry of smart skills and formal education in ICT based economy. In other words, the goal of this research is to assess perceptions of smart skills and competences in the context of technological change from the perspectives of employers and students in Poland. Determining the fore-mentioned relationship gives insight into the hypothetical perception asymmetry...
-
Języki programowania wysokiego poziomu (2019)
e-Learning CoursesKurs wspomagający realizację przedmiotu Języki programowania wysokiego poziomu. Uczestnikami kursu będą studenci kierunku elektronika i telekomunikacja. Skrót kursu JPWP Dziękuję i pozdrawiam.
-
Radosław Szmytkowski prof. dr hab.
People -
Piotr Kasprzak dr
PeopleDr. Piotr Kasprzak - works at the Department of Finance at the Faculty of Management and Economics of the Gdańsk University of Technology. He specializes in aspects related to corporate taxation and accounting issues. His scientific and professional interests include issues related to corporate accounting, management accounting and the application of the provisions of the Polish Accounting Act in practice. Piotr Kasprzak is...
-
Języki programowania obiektowego 2021
e-Learning Courses -
Języki Programowania - 2022/23
e-Learning Courses -
Proceduralne języki programowania I
e-Learning Courses -
Języki programowania obiektowego 2022
e-Learning Courses -
Języki Programowania - 2021/22
e-Learning Courses -
Języki programowania 24-25
e-Learning Courses -
Języki Modelowania i Symulacji
e-Learning CoursesCelem wykładu jest przekazanie podstawowej wiedzy dotyczącej modelowanie i symulacji z zakresu Automatyki i Robotyki oraz Cyfrowego Przetwarzania Sygnałów z wykorzystaniem środowiska obliczeniowego MATLAB
-
Języki Programowania - 2023/24
e-Learning Courses -
Wpływ specyficznych właściwości czynnych systemów wodociągowych w Polsce na metodykę pomiarów terenowych i interpretacje ich wyników
PublicationW opracowaniu scharakteryzowano trzy następujące cechy: 1) przewymiarowanie sieci wodociągowej, 2) pozorną chropowatość przewodów z odłożonymi osadami, 3) pulsację ciśnienia w układzie wodociągowym. Następnie wskazano na utrudnienia jakie one powodują w przygotowaniu pomiarów, ich przeprowadzeniu, a niekiedy interpretacji uzyskanych wyników. W efekcie dowiedziono, że normalne warunki eksploatacji nie pozwalają na bezpośrednie pomiary...
-
Model zmian stanu technicznego ślizgowych układów tribologicznych silników o zapłonie samoczynnym i jego zastosowanie przy podejmowaniu decyzji
PublicationW publikacji przedstawiono formalny opis procesu zmian stanu technicznego ślizgowych układów tribologicznych silników o zapłonie samoczynnym i uzasadniono, że modelem tego procesu może być proces semimarkowski o skończonym zbiorze stanów. Przydatność tego modelu została wykazana na przykładzie często spotykanej w praktyce eksploatacyjnej sytuacji decyzyjnej, w której należy podjąć najlepszą decyzję spośród możliwych do podjęcia....
-
Gra słowna do pozyskiwania wiedzy językowej
PublicationW artykule opisano implementację gry słownej w pytania, będącej modelem wyszukiwarki kontekstowej oraz narzędziem do pozyskiwania wiedzy o pojęciach języka naturalnego. Zdefiniowano określenie wyszukiwania kontekstowego oraz przedstawiono opis algorytmu znajdującego obiekty na podstawie ich cech. Scharakteryzowano przyjętą reprezentację wiedzy oraz sposób uczenia się w kontekście innych znanych projektów poruszających problem akwizycji...
-
Object oriented grid computing for computational electromagnetics
PublicationArtykuł opisuje bibliotekę WiCommGrid napisaną w języku java, która realizuje ideę wymiany informacji pomiędzy węzłami środowiska rozproszonego z zastosowaniem programowania zorientowanego obiektowo. Biblioteka ta przystosowana jest do współdziałania z wieloma systemami operacyjnymi oraz z rożnym środowiskiem sprzętowym. Zbudowaną aplikację zastosowano do zrównoleglonych obliczeń rozkładu pola elektromagnetycznego w oparciu o algorytm...
-
Porównanie algorytmów ważonego umieszczania grafów w grafach minimalizujących opóźnienia komunikacyjne
PublicationW artykule omówiono i porównano zaimplementowane algorytmy ważonego umieszczania grafów w grafach. Z uwagi na obliczeniową trudność problemu ogólnego większość przedstawionych podejść to heurystyki. Dla ograniczonych instancji problemu zaproponowano podejście dokładne oparte o ideę backtrackingu. W pracy zawarto porównanie algorytmów pod względem czasów działania i jakości uzyskanych rozwiązań. Algorytmy zaimplementowane zostały...
-
Evaluation of affective intervention process in development of affect-aware educational video games
PublicationIn this paper initial experiences are presented on implementing specific methodology of affective intervention design (AFFINT) for development of affect-aware educational video games. In the described experiment, 10 student teams are to develop affect-aware educational video games using AFFINT to formalize the whole process. Although all projects are still in progress, first observations and conclusions may already be presented.
-
Metody opisu ontologii: Wnioskowanie w ontologiach opartych na logice opisowej
PublicationLogika opisowa jest aktualnie jednym z najsilniej rozwijanych formalizmów stosowanych w ontologicznych metodach reprezentacji wiedzy. Jednym z powodów jest to, że język OWL-DL, promowany prze W3C jako język do reprezentacji ontologii Semantycznego Internetu, oparty jest właśnie na logice opisowej. W tym artukule zaprezentowano logikę opisową jako sposób precyzyjnego formułowania i przetwarzania wiedzy. Podano definicję bazy wiedzy...
-
Measurement system based on USB Z-Wave controller
PublicationA wireless measurement system based on the Z-Wave standard is presented in this paper. The system is composed of a U SB Z-Stick Gen5 controller connected to a Personal Computer and a Fibaro controller FGRGBWM-441. Operation of the system is controlled by software written in C++ using OpenZWave library. Some metrological aspects of the system are evaluated: accuracy, linearity, resolution and frequency of voltage measurements.
-
Remote learning among students with and without reading difficulties during the initial stages of the COVID-19 pandemic
PublicationThis article presents the results of a survey on yet under-researched aspects of remote learning and learning difficulties in higher education during the initial stage (March – June 2020) of the COVID-19 pandemic. A total of 2182 students from University of Warsaw in Poland completed a two-part questionnaire regarding academic achievements in the academic year 2019/2020, living conditions and stress related to learning and pandemic,...
-
Buckling resistance of a metal column in a corrugated sheet silo - experiments and non-linear stability calculations
PublicationThe results of experimental and numerical tests of a single corrugated sheet silo column’s buckling resistance are presented in this study. The experiments were performed in a real silo with and without bulk solid (wheat). A very positive impact of the bulk solid on the column buckling resistance occurred. The experimental results were first compared to the buckling resistance calculated by Eurocode 3 formulae. The comparison revealed that...
-
Online pitch estimation using instantaneous complex frequency
PublicationW pracy opisano nowe wyniki dotyczące skuteczności algorytmu potokowego estymującego częstotliwość podstawową sygnału mowy. Algorytm wykorzystuje zespoloną pulsację chwilową dla klasyfikacji mowy na dźwięczną i bezdźwięczną oraz estymacji częstotliwości podstawowej dla każdej próbki sygnału. Skuteczność klasyfikacji oraz dokładność estymacji zostały ocenione eksperymentalnie z wykorzystaniem dwóch baz nagrań, zawierających wypowiedzi...
-
Modelowanie falownika napięcia z quasi-rezonansowym obwodem pośredniczącym
PublicationW pracy przedstawiono szerokopasmowe modelowanie falownika napięcia z quasi-rezonansowym obwodem pośredniczącym w środowisku symulatora SABER. Modele łączników energoelektronicznych oraz algorytm sterowania zostały zaimplementowane z wykorzystaniem języka programowania MAST. Dokładność modelu zweryfikowano w oparciu o porównanie charakterystycznych przebiegów symulacyjnych układu z przebiegami eksperymentalnymi oraz analizę porównawczą...
-
PROCEEDING OF THE SEVENTH INTERNATIONAL CONFERENCE ON INFORMATION AND MANAGEMENT SCIENCES
PublicationOdnajdywanie informacji w internecie lub w dużych bazach tekstowychwymaga wiedzy o słowach indeksujących dokumentu.Jednnym z podejść poprawiających jakość i szybkość wyszukiwaniajest zastosowanie klasteryzacji i wizualizacji danych. W artykuleprzedstawione zostało podejście do wyszukiwania informacji winternecie oparte o baze wiedzy o języku. Implementacja takiegokontenera wiedzy zrealizowana została w oparciu o kognitywne teorieorganizacji...
-
"Computing with words" concept applied to musical information retrieval
PublicationW artykule zaproponowano wykorzystanie koncepcji "przetwarzania słów języka naturalnego" do znalezienia związku pomiędzy wybranymi parametrami dźwięków muzycznych a subiektywnie postrzeganą barwą. W pierwszej kolejności przedstawiono klasyczne metody mapowania parametrów mierzalnych i ich subiektywnych odpowiedników, następnie zbudowano bazę wiedzy w oparciu o wyniki testów subiektywnych. W procesie obróbki wykorzystano metodę...
-
"Computing with word" concept applied to musical information retrieval
PublicationW artykule zaproponowano wykorzystanie koncepcji "przetwarzania słów języka naturalnego" do znalezienia związku pomiędzy wybranymi parametrami dźwięków muzycznych a subiektywnie postrzeganą barwą. W pierwszej kolejności przedstawiono klasyczne metody mapowania parametrów mierzalnych i ich subiektywnych odpowiedników, następnie zbudowano bazę wiedzy w oparciu o wyniki testów subiektywnych. W procesie obróbki wykorzystano metodę...
-
Otrzymywanie i właściwości nanocząstek magnetycznych
PublicationNanomagnetyzm to dział fizyki zajmujący się badaniem własności magnetycznych obiektów, których przynajmniej jeden wymiar jest mniejszy niż 100 nm.
-
Comments on “Closed Form Variable Fractional Time Delay Using FFT”
PublicationIn this letter drawbacks of the aforementioned paper are pointed out. The proposed approach is improved with minor modifications of the discrete frequency response. This allows for design of fractional delay filters which are close to optimal and can be efficiently implemented in the frequency domain using the sliding DFT based structure. Alternatively, the derived equivalent closed form formulae for offset windows can be used...
-
Influence of traffic conditions on the operating fuel consumption
PublicationPrzedstawiona w pracy metoda umożliwia ocenę warunków eksploatacji pojazdu. Warunki te mogą wynikać zarówno z lokalnej specyfiki ruchu pojazdów jak również ze sposobu prowadzenia auta przez kierowcę. W pracy zamieszczono przykłady oceny zarejestrowanych w normalnej eksploatacji warunków ruchu pojazdu i ich wpływu na przebiegowe zużycie paliwa.
-
Dynamical nonlocality in quantum time via modular operators
PublicationWe formalize the concept of the modular energy operator within the Page and Wootters timeless framework. As a result, this operator is elevated to the same status as the more studied modular operators of position and momentum. In analogy with dynamical nonlocality in space associated with the modular momentum, we introduce and analyze the nonlocality in time associated with the modular energy operator. Some applications of our...
-
Factors influencing decisions to retire – case study of Poland
PublicationThe main objective of the article is to present the factors influencing the decisions of the Poles from the older age groups to withdraw from the labour market by retirement, or on the contrary – to remain economically active, also upon reaching the formal retirement age.
-
Język angielski fizyki, informatyki i techniki I, sem V, Fizyka Techniczna
e-Learning Courses -
Electroabsorption study of metal-to-ligand charge transfer in an organic complex of iridium (III).
PublicationW pracy zmierzono i zinterpretowano widmo elektroabsorpcji (EA) próżniowo naparowanych warstw organicznego kompleksu Ir(ppy)3, powszechnie stosowanego jako emiter fosforescencyjny w organicznych diodach elektroluminescencyjnych. Analiza widma EA potwierdziła fakt,że niskoenergetyczne stany elektronowe tego kompleksu związane są z przeniesieniem ładunku metal-ligand.