Search
Filters
total: 2272
-
Catalog
- Publications 1077 available results
- Journals 24 available results
- Conferences 24 available results
- Publishing Houses 6 available results
- People 244 available results
- Projects 7 available results
- Laboratories 6 available results
- Research Teams 5 available results
- Research Equipment 2 available results
- e-Learning Courses 689 available results
- Events 89 available results
- Open Research Data 99 available results
displaying 1000 best results Help
Search results for: JĘZYKI FORMALNE
-
Les transducteurs à sorties variables
PublicationW przetwarzaniu języka naturalnego słowniki elektroniczne wiążą ze słowami informacje. Najwydajniejsza reprezentacja takich słowników używa maszyn ze skończoną liczbą stanów (automatów prostych lub automatów Mealy'ego). W tym artykule wzorując się na algorytmach bezpośredniej budowy minimalnego automatu deterministycznego proponujemy nowy typ automatu Mealy'ego. Ta nowa forma pozwala na szybkie obliczanie informacji wyjściowej...
-
Możliwości komputerowego wspomagania interaktywnych ćwiczeń i testów.
PublicationArtykuł dotyczy tworzenia interaktywnych obiektów uczących w środowiskach zdalnego nauczania. Opisano zalecenia standardu SCORM dotyczące sposobu tworzenia obiektów z wykorzystaniem języka XML. Omówiono problemy z implementacją pytań i testów w interaktywnych materiałach dydaktycznych. Wyróżniono typy pytań i testów możliwe do realizacji w technologiach internetowych. Wskazano na konieczność budowy narzędzi, które umożliwią nauczycielom...
-
Quasi-dwuwymiarowe równanie ciagłości dla procesów dynamicznych w tranzystorach polowych
PublicationW oparciu o dwuwymiarowy model fizyczny i matematyczny tranzystora polowego zaproponowano quasi-dwuwymiarowy model umożliwiający wyprowadzenie równania ciągłości dla nośników nadmiarowych w przypadku małych zaburzeń ich koncentracji. Rozważania przeprowadzono startując od najbardziej podstawowych praw fizyki.
-
Język angielski zaawansowany - prezentacje i wystąpienia publiczne
e-Learning CoursesCELPodniesienie kompetencji w zakresie umiejętności przedstawiania różnych typów prezentacji w językuangielskim, ćwiczenie umiejętności wystąpień publicznych w języku angielskim. OPISSzkolenie z zakresu technik prezentacji i autoprezentacji w języku angielskim z uwzględnieniem potrzebnauczycieli przedmiotów inżynierskich i ekonomicznych.- podstawowe techniki prezentacji,- zwroty i słownictwo niezbędne do wygłaszania prezentacji,-...
-
Elementy kwantowego modelu obliczeń i algorytmiki kwantowej : łagodne wprowadzenie do informatyki kwantowej
PublicationJuż dziś wiadomo, że z chwilą udanej realizacji komputera kwantowego maszyna ta będzie pozwalała na znajdowanie rozwiązań problemów obliczeniowych leżących poza zasięgiem komputerów klasycznych. Opracowano szereg algorytmów kwantowych, z których największą sławą cieszy się procedura Shora, pozwalająca efektywnie dokonywać tzw. faktoryzacji, tj. rozkładu bardzo dużych liczb naturalnych na czynniki pierwsze. Na trudności obliczeniowej...
-
Influence of generation-oriend IT-development on models of production-organisation.
PublicationW artykule pokazano megatrend generacyjności rozwoju IT jako pochodną jakościową empirycznych praw ilościowego rozwoju branży. W punkcie 2 wyspecyfikono generacje rozwojowe w obszarze: sprzetu, języków programowania, baz danych oraz oprogramowania uzytkowego- na przykładzie komputerowego wspomagania informatyki gospodarczej.
-
Fibroma, NOS - Female, 32 - Tissue image [6210730043075631]
Open Research DataThis is the histopathological image of OTHER AND UNSPECIFIED PARTS OF TONGUE tissue sample obtained in Medical University Gdańsk and deposited in ZMDL-GUMED. The sample image was taken using: Pannoramic 250 3DHistech slide scanner (20x magnification) and saved to DICOM format.
-
The electrochemical studies of thin boron-doped diamond films deposited at conductive poly(lactic acid) 3D prints
Open Research DataThe dataset contains the electrochemical characteristics of the electrodes composed of thin boron-doped diamond films coated on commercially available graphene-doped polylactide acid. The boron doping level expressed as the [B]/[C] ratio in the gas phase for these studies was 500 and 10,000 ppm.
-
Języki modelowania i symulacji - 2023/24
e-Learning Courses -
Języki modelowania i symulacji - 2022/23
e-Learning Courses -
Obiektowe języki programowania III - 2022/23
e-Learning Courses -
Języki programowania wysokiego poziomu - projekt (2018)
e-Learning CoursesEiT studia I stopinia, sem. zimowy
-
Języki modelowania i symulacji - 2024/25
e-Learning Courses -
Obiektowe języki programowania III - 2024/25
e-Learning Courses -
Języki programowania wysokiego poziomu -projekt23/24
e-Learning CoursesEiT studia I stopinia, sem. zimowy 21/22
-
Obiektowe języki programowania III - 2023/24
e-Learning Courses -
Języki programowania wysokiego poziomu 23/24
e-Learning Courses -
Informal practices in urban planning and governance. Examples from Polish cities
PublicationPlanning has a formal, legally defined component and an informal component developed in response to deficiencies in the planning system. Informal practices can contribute to the development of tools that would improve urban governance, especially in areas related to space. This article presents an overview of informal practices that have taken place in Polish cities and towns in recent years and offers an assessment of their impact...
-
Zastosowanie MusicXML do wymiany danych oraz wizualizacji partytur
PublicationW rozdziale przedstawiono krótki opis standardu MusicXML. Pokazano możliwość jego zastosowania do wymiany danych pomiędzy bazą danych cyfrowych dokumentów muzycznych, a innymi aplikacjami czy bibliotekami. Zwrócono uwagę na problem wizualizacji wydobytych z bazy danych partytur cyfrowych w formacie MusicXML. Wskazano możliwość wykorzystania XML-owego standardu grafiki wektorowej SVG do wizualizacji partytur w środowisku internetu....
-
Udział złotego w mechanizmie stabilizowania kursu a ryzyko wystąpienia kryzysu walutowego w Polsce
PublicationWśród szeregu niepożądanych zjawisk wynikających z zastąpienia złotego walutą euro, uwaga najczęściej skupiona jest na tych, które oddziałują już po przystąpieniu do jednowalutowego obszaru. Rzadziej dokonuje się analizy zagrożeń w fazie przygotowawczej, jeszcze przed formalnym przystąpieniem do obszaru euro. Jednym z takich niebezpieczeństw jest ryzyko wystąpienia kryzysu walutowego w czasie realizacji przez państwo kandydujące...
-
IPMSM rotor position estimator based on analysis of phase current derivatives
PublicationThis paper describes an algorithm for estimation of IPMSM angular rotor position. The algorithm uses derivatives of motor phase currents resulting from PWM modulation to obtain the rotor position. The presented method is designed for medium- and high-speed range, since it is based on determination of the EMF vector. Algorithm is characterised by a very simple formulae. The calculation of rotor position is performed in every PWM...
-
Model tests and numerical imulations of earth pressure of non - cohesive soil in 3D formulation.
PublicationW artykule przedstawiono wyniki badań modelowych i symulacji numerycznych parcia gruntu działającego na sztywne konstrukcje oporowe. Analizowano stan przestrzennego odkształcenia ośrodka niespoistego. Parcie czynne gruntu za- sypowego wywołano obrotem ściany oporowej wokół osi przechodzącej przez jej górną i dolną krawędź. Przedstawiono rozkład składowej stycznej i normalnej stanu naprężenia na powierzchni ściany wraz z analizą...
-
Elastoplastic nonlinear FEM analysis of FGM shells of Cosserat type
PublicationThe paper is a continuation of [1] where the formulation of the elastic constitutive law for functionally graded materials (FGM) on the grounds of nonlinear 6-parameter shell theory with the 6th parameter (the drilling degree of freedom) was presented. Here the formulation is extended to the elasto-plastic range. The material law is based on Cosserat plasticity and employs the well-known Tamura-Tomota-Ozawa (TTO) [2] mixture...
-
Definition gleichartiger Dokumententypen zur Verbesserung der Erkennbarkeit und ihre XML-Beschreibung
PublicationPrzedstawiono krokowe podejście do projektowania interaktywnych, elektronicznych dokumentów z ich analogowej postaci. Postać analogowa rozumiana jest jako typowa kartka papieru, natomiast jako interaktywny, elektroniczny dokument rozumiemy dokument zdefiniowany w formacie XML przystępnym do przetwarzania przez dowolną przeglądarkę internetową. Wprowadza się pojęcie - cyklu życia dokumentu cyfrowego - składającego się z faz zawierających...
-
Stability of cylindrical steel silos composed of corrugated sheets and columns based on FE analyses versus Eurocode 3 approach
PublicationComprehensive static and dynamic 3D stability finite element analyses of a cylindrical steel silo composed of corrugated sheets and open thin-walled vertical stiffener profiles were carried out by taking the geometric and material non-linearity into account. The silowas subjected to axisymmetric and non-axisymmetric loads imposed by a bulk solid following Eurocode 1. Theoretical and measured initial geometric imperfections were...
-
Computer-Aided Saturation Mutagenesis of Arabidopsis thaliana Ent-Copalyl Diphosphate Synthase
Publication -
Asocjacje – jak gdyby, tak jakby…
PublicationKrzysztof Wróblewski prezentuje „In Touch / Anonymous”. (Twarz – jako maska, dłoń – jako dotyk i ślad) – dwa obrazy (olej na płótnie, wymiary: 146x228 cm) wraz z komentarzem: „W kuratorskim tekście do wystawy Asocjacje – jak gdyby, tak jakby zainteresował mnie cytat z teorii umysłu: jesteśmy świadomi umysłów innych ludzi i to ma wpływ na nasze poczynania i procesy umysłowe. Sztuka jako jedno z narzędzi komunikacji jest wysyłaniem...
-
Intelligent multimedia asplications - scanning the issue
PublicationCelem specjalnego wydania tego tomu czasopisma JIIS, zatytułowanego ''Inteligentne przetwarzanie multimediów'', było przedstawienie badań w tej dziedzinie, prowadzonych w różnych ośrodkach na świecie. Zawarte w tym tomie artykuły dotyczyły inteligentnego przetwarzania sygnałów fonicznych i wideo, jak również muzyki.
-
Komputer w labiryncie
PublicationProgramiści piszą programy, które potrafią robić wiele różnych rzeczy: odtwarzać filmy, prognozować pogodę, pomagać w nauce języków obcych czy matematyki. Ale czy wiesz, że można zaprogramować komputer tak, aby tworzył labirynty? W dodatku takie, które zawierają tajne informacje!
-
23/24_sem. letni_Moduł: Planowanie Miast
e-Learning CoursesKurs obowiązkowy dla studentów I semestru studiów magisterskich na kierunku Gospodarka przestrzenna - specjalność Zarządzanie strefa przybrzeżną (w języku polskim).
-
Efektywna warstwa pośrednicząca dla obliczeń typu master-slave w środowisku C++/MPI
PublicationPokazano, jak dla wysokowydajnościowego algorytmu pisanego w modelu master-slave w języku C++ i spełniającego pewne ograniczenia można napisać i wykorzystać warstwę komunikacyjną zupełnie oddzielającą kod odpowiedzialny za komunikację od kodu odpowiedzialnego za dzie-dzinę problemową. Przedstawiona zostaje specyfkacja wymagań, jakie powinien spełniać hipotetyczny system rozproszony oraz warstwa komunikacyjna, a także wymagania...
-
Chromatografia gazowa. Teoria i praktyka.
PublicationChromatografia gazowa jest jedną z najważniejszych metod analitycznych mających zastosowanie w wielu dziedzinach, a chromatograf gazowy ? najbardziej rozpowszechnionym przyrządem analitycznym w laboratoriach na świecie. Oto najpełniejsze w języku polskim opracowanie poświęcone chromatografii gazowej napisane przez wybitnych polskich specjalistów z dziedziny chemii analitycznej. Przedstawiono w nim istotę chromatografii gazowej,...
-
Metodologiczne aspekty opisowego modelowania w naukach ekonomicznych
PublicationPrzedmiot badań ekonomicznych, jako system złożony, podlega modelowaniu. Etapy dekompozycji i jakościowego opisu modelowanego systemu, w tym systemu gospodarczego, są nieodzowne w prawidłowym prowadzeniu badań naukowych. Z drugiej strony modelowanie w ekonomii nie powinno być pozbawione matematycznego języka opisu, ponieważ konstruując model wyjaśniający, należy posługiwać się zarówno modelem opisowym, jak i sformalizowanym. Tak...
-
Jazz na Politechnice
Events13 czerwca odbędzie się ostatnia odsłona cyklu wydarzeń "Jazz na Politechnice" w bieżącym roku akademickim. Na scenie Akademickiego Klubu Politechniki Gdańskiej "Kwadratowa" wystąpi Almost Jazz Group.
-
Skills Mismatch in the Context of Technological Change
PublicationThis dissertation examines the impact of technological change (TC) on skills and competences and how higher education’s role has changed along the way. Quantitative research was conducted to reveal the perceptions of students and employers in Poland on the relevance of particular skills in an ICT based economy. The results of this research show that there is generally a rather insignificant discrepancy in these perceptions....
-
Wykorzystanie serwerów UDDI dla systemów zdalnej edukacji.
PublicationW artykule przedstawiono możliwości wykorzystania usług sieciowych opartych na serwerach UDDI (Universal Description, Discovery and Integration) do przechowywania obiektów edukacyjnych. Opisane rozwiązanie wykorzystujące język XML, protokół SOAP (Simple Object Access Protocol) i standard WSDL (Web Services Description Language) pozwala na tworzenie baz wiedzy przeznaczonych zarówno dla uczniów jak również dla nauczycieli....
-
Analiza holenderskich doświadczeń w zakresie logistyki miejskiej
PublicationW artykule dokonano analizy holenderskich doświadczeń w zakresie logistyki miejskiej i organizacji systemu dostaw towarów na przykładzie Utrechtu. Wybór miasta podyktowany był ponad 20 letnim konsekwentnym zaangażowaniem i doświadczeniem w tej dziedzinie. Przedstawiono zmiany w podejściu do problemów miejskiego transportu ładunków z punktu widzenia polityki krajowej oraz przebieg procesu decentralizacji odpowiedzialności na poziom...
-
Applying Generative Modelling Tools to Explore Architectural Forms
PublicationThe digital generative methods open up new areas for exploration of formal and tectonic features, accentuate form’s ability to emerge and perform. They allow for automatic generation of variations of solutions, and digital production of “difficult” components of architectural forms using CNC technology.The paper deals with contemporary architectural explorations of complex , curvilinear surfaces in the context of generative...
-
Wspólnota semantyczno-leksykalna języków europejskich. O monografii: А. А. Кретов, О. М. Воевудская, И. А. Меркулова, В. Т. Титов, Единство Европы по данным лексики (Воронеж: Издательский дом ВГУ, 2016, ss. 413, [1]) [Semantic and lexical unity of European languages. About the monograph: “The Unity of Europe in the Light of Lexis” by А. А. Kretov, О. М. Voevudskaya, I. А. Merkulova, V. Т. Titov. (Voronezh: VSU, 2016. 413 p. [1])]
Publication -
Instytut Fizyki Jądrowej im. Henryka Niewodniczańskiego Polskiej Akademii Nauk
Publishing Houses -
Time travel without paradoxes: Ring resonator as a universal paradigm for looped quantum evolutions
PublicationA ring resonator involves a scattering process where a part of the output is fed again into the input. The same formal structure is encountered in the problem of time travel in a neighborhood of a closed timelike curve (CTC). We know how to describe quantum optics of ring resonators, and the resulting description agrees with experiment. We can apply the same formal strategy to any looped quantum evolution, in particular to the...
-
A Method for The Assessing of Reliability Characteristics Relevant to an Assumed Position-Fixing Accuracy in Navigational Positioning Systems
PublicationThis paper presents a method which makes it possible to determine reliability characteristics of navigational positioning systems, relevant to an assumed value of permissible error in position fixing. The method allows to calculate: availability , reliability as well as operation continuity of position fixing system for an assumed, determined on the basis of formal requirements - both worldwide and national, position-fixing accuracy....
-
Model test and numerical simulations of earth pressure of non-cohesive soil in 3D formulation.
PublicationW pracy przedstawiono wyniki badań modelowych i obliczeń numerycznych parcia gruntu niespoistego w układzie przestrzennym działajacego na sztywną ścia- nę oporową. Podstawowe schematy wyznaczenia parcia gruntu na sztywną ścianę oporową opatre sa na obrocie ściany wokół jej wierzchołka i podstawy. Uzys- kane wyniki obliczeń przedstawiono jako rozkład składowych statycznych i normalnych wzdłuż sciany. Podano również wypadową parcia...
-
Nowa metoda ograniczania prądów zwarciowych.
PublicationObecnie stosowane bieżace sposoby ograniczania prądów zwarciowych polegają na zwiększaniu impodancji sieci zasilającej lub stosowaniu szybkich wyłączników ograniczających. Opisana w artykule metoda polega na tym, że do każdego przewodu fazowego sieci zasilajacej właczony jest dławik z zespołem diod i tyrystorów w taki sposób, że w czsie normalnej pracy spadek napięcia na tym dławiku jest ....... mały. Dopiero w chwili wzrostu pradu...
-
ON DYNAMICS OF ELASTIC NETWORKS WITH RIGID JUNCTIONS WITHIN NONLINEAR MICRO-POLAR ELASTICITY
PublicationWithin the nonlinear micropolar elasticity we discuss effective dynamic (kinetic) properties of elastic networks with rigid joints. The model of a hyperelastic micropolar continuum is based on two constitutive relations, i.e., static and kinetic ones. They introduce a strain energy density and a kinetic energy density, respectively. Here we consider a three-dimensional elastic network made of three families of elastic fibers connected...
-
XML-based monitoring and its implementation in Perl
PublicationArtykuł ten omawia w sposób ogólny problem monitorowania systemów informacyjnych oraz opisuje system monitoringu wytworzony w firmie Lufthansa Systems w celu monitorowania systemów informatycznych swoich klientów. Artykuł koncentruje się głównie na XMLowym mechaniźmie przetwarzania danych użytym w tym systemie, opisuje on jednak również skrótowo pozostałe zasady jego działania. Zostały również omówione podstawy przetwarzania danych...
-
Employing fuzzy logic to processing of loudness scaling test results
PublicationW procesie dopasowania współczesnych aparató słuchowych wymagana jest znajomość charakterystyki dynamiki słyszenia. Charaketrystyka dynamiki słyszenia wyznaczana jest na podstawie wyników testu skalowania głośności. Problem w tym, że wyniki testu skalowania głośności wyrażone są w skali kategorii oceny wrażenia głośności, natomiast aparaty słuchowe wymagają parametrów określonych na skali numerycznej. Logika rozmyta jest jedną...
-
Timing diagrams functionalities in information systems modeling with UML 2
PublicationArtykuł prezentuje aktualną klasyfikację diagramów interakcji języka UML 2 i przedstawia właściwości nowego diagramu tj. diagram harmonogramowania. W artykule omówiono ich istotę oraz podstawowe i zaawansowane kategorie ich modelowania. Diagram ten umożliwia reprezentowanie na osi czasu zmian dopuszczalnych stanów klasyfikatorów uczestniczących w interakcji. Możliwość harmonizacji linii zmian stanów dla większej liczby klasyfikatorów...
-
Komputerowe modelowanie układów przekształtnikowych przy wykorzystaniu różnych programów symulacyjnych - analiza porównawcza
PublicationNiniejsze opracowanie przedstawia porównanie wybranych, często stosowanych środowisk służących modelowaniu i symulacji. Porównanie jest oparte na analizie pracy układu prze-kształtnikowego wraz z niezbędnym obwodem sterowania. Założeniem autorów referatu jest porównanie nakładów pracy i czasu koniecznego na przygotowanie modelu do obliczeń, jak również ocena trudności w przygotowaniu, wymaganego czasu obliczeń przy zadanej dokład-ności,...
-
Projektowanie oraz implementacja cyfrowego multiefektu gitarowego z wykorzystaniem procesora sygnałowego
PublicationW artykule został przedstawiony proces projektowania i realizacji cyfrowego multiefektu gitarowego z wykorzystaniem procesora sygnałowegoTMS320C5535 firmy Texas Instruments, dla którego oprogramowanie napisano w języku C. Omówiono zasady działania oraz algorytmy wybranych efektów dźwiękowych, które zostały zaimplementowane w procesorze sygnałowym. Zaprojektowano również uniwersalny moduł wejściowy zawierający wzmacniacz z regulowanym...