Filtry
wszystkich: 2193
-
Katalog
- Publikacje 1054 wyników po odfiltrowaniu
- Czasopisma 24 wyników po odfiltrowaniu
- Konferencje 24 wyników po odfiltrowaniu
- Wydawnictwa 6 wyników po odfiltrowaniu
- Osoby 231 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 646 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
-
Telemetryczne systemy rozproszone 2023
Kursy Onlinestudia magisterskie - semestr 3, kierunek elektronika, specjalność Komputerowe Systemy Elektroniczne (obieralne na kierunku Inżynieria Biomedyczna). Przedmiot składa się z wykładu (15 godzin) i seminarium (15 godzin). Normalnie zajęcia odbywają się 2 godz. na tydzień.
-
PRAWOZNAWSTWO - Nowy
Kursy OnlineWprowadzenie do teorii oraz podstaw prawa. Na wykładzie zostaną zaprezentowane podstawowe instytucje prawa materialnego oraz formalnego. W szczególności przedstawione zostaną instytucje prawa potrzebne absolwentowi studiów Gospodarka Przestrzenna do poruszania się w przepisach prawa zagospodarowania przestrzennego oraz prawa budowlanego i prawa nieruchomości.
-
Telemetryczne systemy rozproszone 2024
Kursy Onlinestudia magisterskie - semestr 3, kierunek elektronika, specjalność Komputerowe Systemy Elektroniczne (obieralne na kierunku Inżynieria Biomedyczna). Przedmiot składa się z wykładu (15 godzin) i seminarium (15 godzin). Normalnie zajęcia odbywają się 2 godz. na tydzień.
-
Intelligent multimedia asplications - scanning the issue
PublikacjaCelem 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
PublikacjaProgramiś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!
-
Applying Generative Modelling Tools to Explore Architectural Forms
PublikacjaThe 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...
-
Języki modelowania i symulacji - 2023/24
Kursy Online -
Języki modelowania i symulacji - 2022/23
Kursy Online -
Obiektowe języki programowania III - 2022/23
Kursy Online -
Języki programowania wysokiego poziomu - projekt (2018)
Kursy OnlineEiT studia I stopinia, sem. zimowy
-
Języki modelowania i symulacji - 2024/25
Kursy Online -
Języki programowania wysokiego poziomu -projekt23/24
Kursy OnlineEiT studia I stopinia, sem. zimowy 21/22
-
Obiektowe języki programowania III - 2023/24
Kursy Online -
Języki programowania wysokiego poziomu 23/24
Kursy Online -
Analiza holenderskich doświadczeń w zakresie logistyki miejskiej
PublikacjaW 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...
-
Efektywna warstwa pośrednicząca dla obliczeń typu master-slave w środowisku C++/MPI
PublikacjaPokazano, 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...
-
Metodologiczne aspekty opisowego modelowania w naukach ekonomicznych
PublikacjaPrzedmiot 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...
-
Chromatografia gazowa. Teoria i praktyka.
PublikacjaChromatografia 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,...
-
Instytut Fizyki Jądrowej im. Henryka Niewodniczańskiego Polskiej Akademii Nauk
Wydawnictwa -
Skills Mismatch in the Context of Technological Change
PublikacjaThis 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.
PublikacjaW 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....
-
Asocjacje – jak gdyby, tak jakby…
PublikacjaKrzysztof 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...
-
Computer-Aided Saturation Mutagenesis of Arabidopsis thaliana Ent-Copalyl Diphosphate Synthase
Publikacja -
Time travel without paradoxes: Ring resonator as a universal paradigm for looped quantum evolutions
PublikacjaA 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
PublikacjaThis 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....
-
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])]
Publikacja -
Model test and numerical simulations of earth pressure of non-cohesive soil in 3D formulation.
PublikacjaW 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.
PublikacjaObecnie 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
PublikacjaWithin 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...
-
Investigation of the C-1311 glucuronidation: an electrochemical approach
Dane BadawczeThis study was undertaken to investigate the glucuronidation of the compound C-1311 (5-diethylaminoethylamino-8-hydroxyimidazoacridinone – the model anticancer acridine derivative) using electrochemistry/mass spectrometry (EC/MS) as a complementary technique to in vitro (liver microsomes) and in silico approaches.
-
Jazz na Politechnice
Wydarzenia13 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.
-
XML-based monitoring and its implementation in Perl
PublikacjaArtykuł 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...
-
Komputerowe modelowanie układów przekształtnikowych przy wykorzystaniu różnych programów symulacyjnych - analiza porównawcza
PublikacjaNiniejsze 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,...
-
Timing diagrams functionalities in information systems modeling with UML 2
PublikacjaArtykuł 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...
-
Edu Inspiracje WZiE: Postawione na głowie, czyli słów kilka o odwróconym nauczaniu
PublikacjaOdwrócone nauczanie jest znane od dawna, ale jego współczesne zastosowanie datuje się na rok 2012, kiedy pojawiła się publikacja Bergmann’a i Saams. Pilotażowe wdrożenie tej metody zostało zrealizowane dla formie przedmiotu realizowanego w języku angielskim Modelowanie procesów biznesowych, skierowanego do studentów Politechniki Gdańskiej. Wśród zasobów udostępnionych przed zajęciami najczęściej wykorzystywano pliki PDF (zawierające...
-
Employing fuzzy logic to processing of loudness scaling test results
PublikacjaW 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ą...
-
Projektowanie oraz implementacja cyfrowego multiefektu gitarowego z wykorzystaniem procesora sygnałowego
PublikacjaW 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...
-
International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
Konferencje -
International Workshop on Formal Methods for Parallel Programming: Theory and Applications
Konferencje -
Adult rhabdomyoma - Female, 14 - Tissue image [3160630007333451]
Dane BadawczeThis 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.
-
Transcendentalna dedukcja eteru : Opus postumum Kanta a problem filozofii przyrody
PublikacjaArtykuł przedstawia rozwój kantowskiej filozofii przyrody w kontekście transcendentalnej dedukcji eteru zwartej w pismach Kanta wydanych posmiertnie. Szczególnie omawiany jest temat przejścia od metafizycznych podstaw przyrodnictwa do fizyki i pojawia sie w związku z tym sprzeczności w sosunku do ''Krytyki czystego rozumu''
-
Metodologia projektowania programów edukacyjnych zorientowanych problemowo z wykorzystaniem bazy wiedzy.
PublikacjaOpisano prototyp programu, który może posłużyć do sprawdzania poprawności sposobu rozwiązywania zadań z elementarnej matematyki lub fizyki. Program tem umożliwia ponadto wygenerowanie wszystkich sposobów rozwiązania zadania. Omówiono program komputerowy CorrectWay, który realizuje wczesniej wymienione funkcje. artykuł zakończono wskazaniami kierunków dalszego rozwoju tego programu.
-
CMMI - an Assurance of Transferability of Knowledge andProjects in a Distributed Enterprise
PublikacjaCMMI (Capability Maturity Model Integrated)is a reference model fordefining and performing processes in software and systems engineeringorganizations.An organization implementing CMMI,among other things,assures thatacit knowledge is properly externalized into formal knowledge.This externalization gives an organization opportunity to assure that knowledge and development projects are easily transferable across adistributed enterprise...
-
Impact of Energy Slope Averaging Methods on Numerical Solution of 1D Steady Gradually Varied Flow
PublikacjaIn this paper, energy slope averaging in the one-dimensional steady gradually varied flow model is considered. For this purpose, different methods of averaging the energy slope between cross-sections are used. The most popular are arithmetic, geometric, harmonic and hydraulic means. However, from the formal viewpoint, the application of different averaging formulas results in different numerical integration formulas. This study...
-
Projekt fakultatywny I SAUP konkurs 2022/23
Kursy OnlineOpracowanie projektu architektonicznego obiektu witacza jako elementu realizującego Strategię Promocji Turystyki dla Międzynarodowych Tras Rowerowych EuroVelo 10/13, EuroVelo 9/WTR oraz dla trasy nr 20 w Województwie Pomorskim. Witacze mają być zlokalizowane na wjazdach do naszego województwa oraz w charakterystycznych lokalizacjach na trasie. Zajęcia prowadzone będą w formule konkursu studenckiego z nagrodami pieniężnymi, praca...
-
The impact of institutions on innovation networks: empirical evidence from Poland
PublikacjaInnovation networks may accelerate and improve the innovation process, while institutional pathologies may hamper it. This study employs the Kruskal-Wallis H test and regression analysis to determine if the relationship between institutions and innovation networks does exist among the investigated variables. The purpose of the study was to find out whether cooperation with special local institutions influences the innovative behaviour...
-
Problems of reinforcement designing for plates
PublikacjaPrzedstawiono problem projektowania zbrojenia nietrajektorialnego płyt w aspekcie ich odkształcalności. Na podstawie niektórych wyników badań doświadczalnych, przeprowadzonych na żelbetowych płytach skręcanych, zweryfikowano procedury wymiarowania. Analiza wykazuje, że pomimo formalnego zapewnienia nośności przekroju płyt nietrajektorialnie zbrojonych, ich odkształcalność znacznie wzrasta. Aby zapewnić im sztywność na poziomie...
-
Cyfrowa biblioteka dokumentów muzycznych
PublikacjaW pracy przedstawiono główny cel projektu badawczego Moniuszko, będacego projektem i realizacją interaktywnej biblioteki cyfrowej dokumentów muzycznych. W pracy przedstawiono również koncepcję cyfrowego dokumentu muzycznego, a także wskazano standard MPEG-7, jako najlepiej spełniający wymogi opisu tych dokumentów. Zaproponowano rozszerzenie tego standardu o możliwość pełnego opisu bibliograficznego dokumentu muzycznego, a także...
-
Ciekawe i niezwykłe eksperymenty fizyczne
Publikacjaw pracy zaprezentowano szereg eksperymentów z różnych działów fizyki (mechanika, elektryczność, optyka), które mogą zainteresować i zainspirować wielu odbiorców. W przypadku eksperymentów pokazowych na ich percepcję wpływa nie tylko ich potencjał informatyczny, ale też sposób ich prezentacji a przede wszystkim umiejętność rozbudzenia zaciekawienia u słuchaczy.
-
Formaty zapisu cyfrowych dokumentów muzycznych
PublikacjaW pracy zwrócono uwagę na problem przechowywania różnych postaci muzyki występujących w cyfrowych dokumentach muzycznych. Przedstawiono ogólną charakterystykę istniejących formatów zapisu danych muzycznych oraz wybrane cyfrowe formaty muzyczne. Przedstawiono również propozycję stworzenia uniwersalnego formatu opisu danych muzycznych w oparciu o istniejący standard MPEG-7.