Filtry
wszystkich: 2134
-
Katalog
- Publikacje 1075 wyników po odfiltrowaniu
- Czasopisma 31 wyników po odfiltrowaniu
- Konferencje 24 wyników po odfiltrowaniu
- Wydawnictwa 6 wyników po odfiltrowaniu
- Osoby 176 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 619 wyników po odfiltrowaniu
- Wydarzenia 83 wyników po odfiltrowaniu
- Dane Badawcze 99 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: jezyki formalne
-
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...
-
Instytut Fizyki Jądrowej im. Henryka Niewodniczańskiego Polskiej Akademii Nauk
Wydawnictwa -
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...
-
Muzeum Miasta Gdyni 30 lat
PublikacjaPublikacja ilustrująca 30 lat działalności Muzeum Miasta Gdyni. Publikacja liczy 168 stron i zawiera 284 reprodukcji prac (praca autora s.89) i notę biograficzną w języku polskim. Wydawcą publikacji jest Muzeum Miasta Gdyni, ISBN 978-83-937119-0-1.
-
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....
-
<title>Control and monitoring of data acquisition and trigger system (TRIDAQ) for backing calorimeter (BAC) of the ZEUS experiment</title>
Publikacja -
<title>Interactive monitoring system for backing calorimeter at ZEUS experiment</title>
Publikacja -
Computer-Aided Saturation Mutagenesis of Arabidopsis thaliana Ent-Copalyl Diphosphate Synthase
Publikacja -
Reflexion etique sur l´action ekonomique
PublikacjaPraca pokazuje ważność pytań z zakresu etyki, stawianych wszelkiej przedsię-biorczości, działalności ekonomicznej w ujęciu historycznym. Jednocześniepraca usiłuje znaleźć przyczynę roztraygnięć etycznych współczesności.
-
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....
-
Wykroczenie, Galeria-pl; 26 maja-30 czerwca 2011
PublikacjaKatalog wystawy malarstwa, która miała miejsce w czerwcu 2011 roku w galerii-pl w Gdyni. Katalog liczy 4 strony i zawiera tekst krytyczny i notę biograficzną w języku polskim oraz trzy kolorowe reprodukcje prac. Wydawcą katalogu jest galeria-pl z gdyni.
-
Wdrożenia komercyjne chatter-botów
PublikacjaCelem artykułu jest ocena przydatności wdrożenia systemów chatter-bot, czyli tzw. wirtualnych konsultantów - systemów informatycznych, które potrafią odpowiadać na pytania zadawane w języku naturalnym. Przedstawiono główne czynniki wpływające na funkcjonalność systemu, analizę kosztów wdrożenia i efektywności inwestycji oraz przykłady komercyjnych zastosowań.
-
Application of virtual reality modeling language for 3D seafloor imaging.
PublikacjaW artykule przedstawiono koncepcję wykorzystania języka opisu wirtualnej rzeczywistości do trójwymiarowej wizualizacji objektów znajdujących się na dnie morskim w zastosowaniu do danych pochodzących z systemów hydroakustycznych. W szczególności zaprezentowano technikę tworzenia trójwymiarowych scen przeznaczonych do szerokiego udostępniania w sieci Internet.
-
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...
-
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...
-
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.
-
Klawiatura ekranowa dla osób posługujących się jedną kończyną górną
Publikacjartykuł prezentuje układ symboli na klawiaturze wirtualnej dedykowanej osobom niepełnosprawnym posługującym się jedną kończyną górną. Rozmieszczenie znaków zostało ustalone na podstawie przeprowadzonej analizy częstotliwości występowania poszczególnych liter w języku polskim. Uwzględniono również najczęściej występujące pary liter, a odpowiadające im klawisze ułożono blisko siebie. Zaproponowany kształt klawiatury jest wynikiem...
-
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.
-
Ontologia ekonomii jako podstawa koncepcji ''etycznej ekonomii'' P. Koslowskiego.
PublikacjaGłównym wątkiem pracy jest prześledzenie argumentacji P. Koslowskiego na rzecz odmienności i nowatorstwa jako koncepcji ''etycznej ekonomii'' w odniesieniu do tradycyjnych koncepcji etyki życia gospodarczego.
-
Reguły efektywnego projektowania semantycznych usług WWW
PublikacjaW pracy omówiono kluczowe zasady projektowania usług semantycznych w Internecie. Nawiązano do reguł formalizacji wiedzy za pomocą systemów ontologicznych, dla których implementacji opracowano języki programowania OWL i KIF. Odniesiono się także do sieci semantycznych jako metody sztucznej inteligencji w kontekście założeń projektu Web 3.0. Omówiono zasady stosowania języków XML, XML Schema, RDF, RDF Schema, OWL, SPARQL, a także...
-
International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
Konferencje -
International Workshop on Formal Methods for Parallel Programming: Theory and Applications
Konferencje -
Ekspertyza techniczna w zakresie wyjaśnienia oznaczeń „j.mb.”, „j.bt.” i „bet.” znajdujących się na mapie zasadniczej, w odniesieniu do przepisów Prawa Budowlanego i stanu faktycznego.
PublikacjaW ekspertyzie odniesiono się do definicji drogi, jako budowli zgodnie z definicjami ustawy Prawa Budowlanego i przepisów pokrewnych. Ponadto wyjaśniono oznaczenia obszarów: jezdni i nawierzchni znajdujących się na mapie zasadniczej - mapie do celów projektowych w odniesieniu do obowiązujacych przepisów oraz stanu faktycznego.
-
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''
-
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.
-
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.
-
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.
-
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...
-
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...
-
Manifesty urbanistyczne. W poszukiwaniu współczesnego modelu miasta
PublikacjaPrzypominane w tym tomie manifesty urbanistyczne powstały w odpowiedzi na „szok urbanizacyjny” XIX i początku XX wieku, kiedy problemy wyrosłe z nienotowanego nigdy wcześniej wzrostu miast odsunęły na bardzo daleki plan wcześniejsze rozwiązania geometryczne jako nieadekwatne do palących problemów społecznych, ekonomicznych, technicznych i środowiskowych. Wizje miast zaczęli budować nie tylko, a może nawet nie przede wszystkim,...
-
VRML visualization of pelagic fish movement in the echosounder beam.
PublikacjaPrzedstawiono konstrukcję dynamicznych trójwymiarowych echogramów dla danych pochodzących z przeszukiwań akustycznych zrealizowanych przy pomocy echosondy z rozszczepioną wiązką. Wizualizację zrealizowano wykorzystując język opisu wirtualnej rzeczywistości VRML.
-
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...
-
Elementy programowania NSTC
Kursy OnlineNauka programowania w języku python.
-
Podstawy Informatyki dla kierunku projektowanie Jachtów
Kursy OnlinePodstawy programowania w języku Python
-
Waldemar Stampor dr hab. inż.
Osoby -
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...
-
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...
-
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...
-
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.
-
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.
-
Ideological and Practical Model of Metaontology
PublikacjaRozwój inicjatywy Semantic Web spowodował rozwój różnych języków definiowania wiedzy i manipulowania nią. W ramach tych języków istotnym elementem jest zaprojektowanie rozkazów terminologicznych. W artykule przedstawiono sposób realizacji zapytań terminologicznych w języku KQL (Knowledge Query Language), służącym do dostępu do systemu zarządzania wiedzą RKaSeA.
-
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.
-
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]