Search results for: JEZYKI FORMALNE

• Tissue fixed with formalin and processed without paraffin embedding is suitable for imaging of both peptides and lipids by MALDI-IMS

  Publication

  • M. Pietrowska
  • M. Gawin
  • J. Polańska
  • P. Widłak
  • J. Polanska

  - PROTEOMICS - Year 2016

  Full text to download in external service

• Književnost i Jezik

  Journals

  ISSN: 0454-0689

• RED. ZAGR. JĘZYK

  Journals

• Język w Komunikacji

  Journals

  ISSN: 2084-5111

• Język - Szkoła - Religia

  Journals

  ISSN: 2080-3400

• Społeczeństwo. Edukacja. Język

  Journals

  ISSN: 2353-1266 , eISSN: 2449-7983

• Język. Religia. Tożsamość

  Journals

  ISSN: 2083-8964

• Instytucjonalizacja etyki organizacji jako technologia zarządcza.

  Publication

  • N. Vasiljeviene
  • J. Kubka

  - Year 2007

  W artykule zaprezentowano i przeanalizowane zostały techniki i programy instytucjonalizacji etyki w organizacji. Sam proces instytucjonalizacji etyki wskazany został jako wazny aspekt zarządzania organizacjami.

• Logika opisowa jako język modelowania oprogramowania

  Publication

  • P. Kapłański

  - Year 2008

  W referacie pokazano zastosowanie logiki opisowej do opisu wybranych ontologii pojawiajcych si w inynierii oprogramowania, wymagajcych wsparcia ze strony inynierii wiedzy. Omówione zagadnienia to: inynieria wymaga, opis architektury oprogramowania wysokiego poziomu, opis projektu systemu i ontologia kodu programu. Wskazano zastosowanie systemów wnioskujcych (ang. knowledge reasoner) do automatycznego odkrywania wiedzy w systemach...

  Full text to download in external service

• Zastosowania ontologii: Tworzenie scenariuszy negocjacyjnych z wykorzystaniem języka WS-CDL

  Publication

  • M. Piotrowski

  - Year 2008

  Istnieje mozliwość formalnego zapisu przebiegu różnego rodzaju przedsięwzięć. Jedną z mozliwości zapisu scenariusza przedsięwzięcia jest wykorzystanie języka WS-CDL. Zaprezentowano metodę tworzenia konkretnej choreografii przedsięwzięcia w tym języku. Zwrócono uwagę na taniec negocjacyjny, w tym definicje ról, związków oraz typów kanałów komunikacyjnych. Dodatkowo zaproponoano środowisko wykonania scenariuszy zapisanych w tym języku.

• Zur Ahnlichkeit der Drill- und Biegetrager-Formeln fur dunnwandige Stabe - Stellungsnahme zur Zuschrift.

  Publication

  • Z. Cywiński

  - Year 2004

  Przedstawiono stanowisko odnośnie uwag dyskutanta, stwierdzające możliwości przyjęcia różnych dróg przejścia granicznego w analizie problemu.

• O dieťati, jazyku, literatúre

  Journals

  ISSN: 1339-3200

• Biuletyn Rady Języka Kaszubskiego

  Journals

  eISSN: 1899-4326

• Notre Dame Journal of Formal Logic

  Journals

  ISSN: 0029-4527 , eISSN: 1939-0726

• „Zakochałam się w Finach, w Finlandii, w ich języku...”. Rozmowa Sabiny Lech z kierownikiem Pracowni Języka, Kultury i Gospodarki Finlandii prof. nadzw. dr hab. Katarzyną Wojan, przeprowadzona w Gdańsku w dniu 16.03.2017

  Publication

  • K. Wojan

  - Year 2017

  Full text to download in external service

• The suitability of DNA extracted from formalin-fixed, paraffin-embedded tissues for double differential polymerase chain reaction analysis

  Publication

  • K. Bielawski
  • A. Zaczek
  • U. Lisowska
  • A. Dybikowska
  • A. Kowalska
  • B. Falkiewicz
  • K. P. Bielawski

  - INTERNATIONAL JOURNAL OF MOLECULAR MEDICINE - Year 2001

  Full text to download in external service

• Układy cyfrowe : podstawy projektowania i opis w języku VHDL

  Publication

  • M. Barski
  • W. Jędruch

  - Year 2007

  Przedstawiono podstawowe wiadomosci dotyczące zasad budowy, działania, analizy i syntezy układów cyfrowych kombinacyjnych, sekwencyjnych i modułowych oraz opisu układów w języku VHDL.

• Obraz Bożego Narodzenia i Wielkanocy w języku dziesięcioletnich dzieci

  Publication

  • U. Jęczeń
  • N. Pawlik

  - Z Teorii i Praktyki Dydaktycznej Języka Polskiego - Year 2018

  Full text to download in external service

• Przetwarzanie wyrażeń języka naturalnego w wyrażenia logiczne - system Denise

  Publication

  • S. Jessa
  • W. Jędruch

  - Year 2010

  Po krótkim wprowadzeniu do systemów reprezentacji wiedzy i wnioskowania omówiono eksperymentalny system przetwarzania zdań w języku polskim w wyrażenia rachunku zdań i logiki pierwszego rzędu.

• Propozycja silnika fizyki bryły sztywnej dla trójwymiarowej gry komputerowej

  Publication

  • K. Badowski
  • J. Redlarski
  • J. Lebiedź

  - Zeszyty Naukowe Wydziału ETI Politechniki Gdańskiej. Technologie Informacyjne - Year 2014

  Referat prezentuje autorski silnik dynamiki brył sztywnych działający w czasie rzeczywistym i przeznaczony do symulacji fizycznych na potrzeby gier komputerowych. Ze względu na przeznaczenie silnika przyjęto, że wiarygodność efektów symulacji będzie ważniejsza niż dokładne odwzorowanie zjawisk fizycznych. Pozwoliło to na zastosowanie uproszczonego modelu fizycznego i uzyskanie dzięki temu efektywnego silnika, radzącego sobie w...

• STM32: Aplikacje i ćwiczenia w języku C. - M. Galewski. -

  Publication

  • M. Galewski

  - Year 2011

  W książce przedstawiono nowoczesne, 32-bitowe mikrokontrolery z rodzeniem ARM Cortex-M3. Oprócz opisu poszczególnych ich podukładów, zawarto w niej przede wszystkim wiele przykładowych ćwiczeń, których zaawansowanie jest stopniowane, dzięki czemu czytelnicy są łagodnie wprowadzani w omawianie zagadnienia. Przykłady zamieszczone w książce są bardzo różnorodne, bazują m.in. na czujnikach przyspieszenia i ciśnienia MEMS, interfejsie...

• Modelowanie struktur sieci diagnostyczno-pomiarowych z wykorzystaniem języka SMOL

  Publication

  • Z. Kowalczuk
  • J. Wszołek

  - Year 2014

  W artykule przedstawiono koncepcję własnego języka służącego do modelowania, a w przyszłości również do symulacji i optymalizacji struktur sieci diagnostyczno-pomiarowych. Język ten przeznaczony jest do wsparcia dedykowanego środowiska SMO, Sieciowego Monitora Obiektów, służącego do projektowania i symulacji wielokomputerowych systemów, które przeznaczone są do zarządzania w szerokim sensie (obserwacji, monitorowania, diagnozowania,...

• Polityczne, prawne i ekonomiczne aspekty ustawy o języku polskim

  Publication

  • S. Zabieglik

  - Year 2005

  W artykule omówiono proces przyjmowania przez Sejm i Senat RP ustawy o języku polskim z 7 października 1999 r. oraz jej nowelizacji z 4 marca 2004 r. Przestawiono aspekty polityczne, prawne i ekonomiczne tej ustawy oraz wybrane komentarze prasowe.

• Języki Obce w Szkole

  Journals

  ISSN: 0446-7965

• The formal safety assesment in conforming to chosen vessel's type on the ground of hydromechanic characteristics in critical conditions.

  Publication

  • M. Smajdor

  - Year 2004

  Tragedia jednego ze statków typu ro-ro pokazała podatność tego typu statków na utratę stateczności, przewrócenie a w ostateczności zatonięcie. Wszystkie ro-rowce charakteryzują się małym zanurzeniem, a wynurzona część kadłuba podatna jest na działanie wiatru. Jeżeli dodatkowo w takich warunkach dochodzi element nieprawidłowego rozmieszczenia pojazdów i ich słabego zamocowania to groźba przesunięcia ładunku staje się realna. W konsekwencji...

• Why set of experience knowledge structure can be considered a knowledge representattion for formal decision events?

  Publication

  • C. Sanin
  • E. Szczerbicki

  - Year 2005

  Omówiono zasady reprezentacji wiedzy przy pomocy zbioru dośwadczeń. Uzasadniono wybór takiej reprezentacji na tle badańliteraturowych.

• Problemy instytucjonalizacji etyki w dziedzinie słuzby zdrowia

  Publication

  • N. Vasiljeviene
  • J. Kubka

  - Annales. Etyka w życiu gospodarczym - Year 2008

  W zwiazku z miejscem zdrowia i bezpieczeństwa zdrowotnego w hierarchi wartości społecznych i indywidualnych potrzeba wprowadzenia zinstytucjonalizowanych wysokich standartów etycznych staje się coraz powszechniej odczuwalne. W artykule zaprezentowano schemat ewolucji etyki w dziedzinie medycyny i ochrony zdrowia oraz omówiono podstawowe problemy związane z wdrażaniem infrastruktury etycznej.

  Full text available to download

• Język fiński w teorii i praktyce (książka)

  Publication

  • K. Wojan

  - Year 2016

• KQL - język dostępu do konglomeratowych baz wiedzy

  Publication

  • K. Goczyła
  • P. Piotrowski
  • A. Waloszek
  • W. Waloszek
  • T. Zawadzka

  - Year 2010

  Jednym z kierunków rozwoju systemów informatycznych w ostatnich latach jest ewolucja systemów opartych na danych do systemów opartych na wiedzy. W ramach tego procesu są prowadzone prace między innymi nad nowymi reprezentacjami wiedzy i językami dostępu do wiedzy. Języki dostępu do baz wiedzy są w dużej mierze uzależnione od metod reprezentacji wiedzy, ponieważ operują na jej elementach. Wraz z zaproponowaniem konglomeratowej reprezentacji...

• Interakcyjna baza danych - Internetowa Biblioteka Etyki Informatycznej

  Publication

  • K. Dłuski
  • W. Kuranowski
  • P. Miniach
  • A. Starybrat

  - Year 2005

  Artykuł przedstawia opis zrealizowanej internetowo dostępnej biblioteki etyki komputerowej. Omówiono rodzaje przechowywanych danych, ontologie, funkcje dostępu i wyszukiwania oraz przyjęte rozwiązania technologiczne konstrukcji.

• Język UML 2.0 w modelowaniu systemów informatycznych

  Publication

  • S. Wrycza
  • B. Marcinkowski
  • K. Wyrzykowski

  - Year 2005

  Książka ''Język UML 2.0 w modelowaniu systemów informatycznych'' to szczegółowy opis najnowszej specyfikacji tego języka w kontekście zastosowania go w procesie wytwarzania oprogramowania. Zawiera omówienie elementów języka UML oraz zasad projektowania obiektowego. Przedstawia zastosowanie diagramów UML 2.0 oraz różnice pomiędzy modelowaniem analitycznym i biznesowym. Ponadto wyjaśnia podstawy metodyki RUP oraz prezentuje wybrane...

• The potential role of fatty acids in prostate cancer determined by GC–MS analysis of formalin-fixed paraffin-embedded tissue samples

  Publication

  • M. Buszewska-Forajta
  • J. Raczak-Gutknecht
  • M. Artymowicz
  • W. Wesołowski
  • K. Buczkowski
  • E. Iżycka-Świeszewska
  • M. Markuszewski

  - Journal of Pharmaceutical and Biomedical Analysis - Year 2021

  Full text to download in external service

• Propozycje form nauczania języka specjalistycznego na lektoratach dla studentów architektury

  Publication

  • E. Jurkiewicz-Sękiewicz

  - Year 2007

  Artykuł przedstawia propozycje metod nauczania języka obcego (hiszpańskiego) specjalistycznego dla studentów architektury oparte na założeniach współczesnej andragogiki. Punktem wyjścia dla opracowania działań nazwanych przez autorkę ''projektami otwartymi'' jest humanistyczny model nauczania dorosłych opracowany przez M.S. Knowlesa.

• Słownik homonimów leksemowych języka rosyjskiego z polskimi ekwiwalentami tłumaczeniowymi (książka)

  Publication

  • K. Wojan

  - Year 2011

• Ponad 30 lat tradycji nauczania języka fińskiego na Uniwersytecie Gdańskim

  Publication

  • K. Wojan

  - Year 2017

  Full text to download in external service

• O lepszą jakość kształcenia matematyki i fizyki na Politechnice Gdańskiej

  Publication

  • M. Dzida

  - Pismo PG - Year 2003

  Analizowano prawdopodobne niepowodzenia studentów I roku w nauczaniu matematyki i fizyki na Politechnice Gdańskiej. Przedstawiono je od strony samych absolwentów szkół średnich, nauczycieli szkół średnich oraz nauczycieli akademickich. Analizowano wpływ formy przyjęcia studentów na Politechnikę Gdańską egzamin-konkurs świadectw oraz nowe założenia programowe z przedmiotów matematyka i fizyka przygotowane przez MENiS na jakość kształcenia...

• Autentyczność na zajęciach zwiększających kompetencje w użyciu specjalistycznego języka angielskiego

  Publication

  • B. Kołodziejczak
  • I. Mokwa-Tarnowska
  • M. Roszak

  - LINGUODIDACTICA - Year 2017

  Włączenie zasobów i aktywności online do sylabusa tradycyjnego kursu akademickiego wymaga restrukturyzacji programu nauczania w celu osiągnięcia efektu synergii. Rozwój technologii internetowych umożliwił edukatorom przejście od czysto instruktywistycznych praktyk dydaktycznych do zajęć opartych na ideach konstruktywistycznych i konstrukcjonistycznych. Dzięki zmianie paradygmatu nauczanie i uczenie się jest bardziej ukierunkowane...

  Full text to download in external service

• Aktywności stymulujące refleksję w nauczaniu języka pisanego w wirtualnej klasie

  Publication

  • I. Mokwa-Tarnowska

  - NEOFILOLOG - Year 2014

  The paper aims to show how to engage students attending an online language course in various activities which by stimulating reflection enhance the learning process and result in better learning outcomes. By blending cognitivist, constructivist, constructionist and behavioural ideas, course developers and tutors can produce materials and use methods which satisfy the varied needs of adults who want to improve their writing skills....

  Full text available to download

• A multi‐industry and cross‐country comparison of technology contribution to formal and informal knowledge sharing processes for innovativeness

  Publication

  • W. Kucharska
  • G. S. Erickson

  - Knowledge and Process Management - Year 2023

  The study explores the impact of organizational information technology (IT) competency on knowledge sharing, both explicit and tacit, in the context of innovativeness of products and processes. Knowledge sharing is then assessed in terms of tacit-to-explicit conversion and the impact of both types of knowledge on organizational innovation. Both process (internal) and product/service (external) innovation are included. As an extension,...

  Full text available to download

• Work and formal retirement age - opinions of SWE employees participating in the Best Agers Lighthouses International Project

  Publication

  • A. Richert-Kaźmierska
  • K. Stankiewicz

  - Year 2014

  The paper presents selected results of studies carried out within the framework of the international project Best Agers Lighthouses – Strategic Age Management for SME in the Baltic Sea Region, related to the assessment of the opportunities to continue working beyond the retirement age in the opinion of workers.

• Managing distributed architecture with Extendet WS-CDl

  Publication

  • H. Krawczyk
  • K. Dusza

  - Year 2007

  Zaprezentowano problem wykorzystania języka WSCDL w warstwie zarzadzania usługami w architekturze systemu rozproszonego. Zaproponowano rozszerzenie modelu CDLExt uwzględniając istotne charakterystyki usług. Skoncentrowano się na zależności między usługami a innymi artyfaktami IT oraz określono atrybuty QoS wynikajace z tych zależności. Zaprezentowano implementację tego modelu oraz dalsze kierunki rozwoju CDLExt.

• A model-based approach to analysis of security protocols - a case study

  Publication

  • M. (. Olszewski

  - Year 2005

  Artykuł przedstawia zintegrowane środowisko analizy protokołów bezpieczeństwa. Środowisko zostało oparte o znaną metodę formalną CSP oraz wspierające ją narzędzia: Casper oraz FDR. Integralną częścią opisywanego środowiska jest pół-formalne zorientowane obiektowo podejście do modelowania protokołów kryptograficznych, ich kontekstu aplikacyjnego oraz wymagań bezpieczeństwa. Modelowanie obiektowe zostało oparte o język UML oraz...

• Próba ukonstytuowania etyki biznesu w polu działalności gospodarczej

  Publication

  • M. Migoń

  - Year 2002

  W artykule dokonałem najpierw zwięzłej charakterystyki m.in. pojęć takich, jak: "biznes, "etyka biznesu", "przedsiębiorczość" oraz przytoczyłem propozycje podziału etyki biznesu na obszary. Potem zaś zinterpretowałem pojęcie "przedsiębiorstwa" wedle E. Sternberg. Z kolei dokonałem zwięzłej analizy czterech typów standardów zachowania się pracowników firmy w stosunku do tzw. stron zainteresowanych przez uwzględnienie...

• Grimm Grass 1 (Słówka Grimmów)

  Publication

  • K. Wróblewski

  - Year 2020

  Krzysztof Wróblewski | Eksperyment: Ekslibris - ekslibris do powieści „Słówka Grimmów” Güntera Grassa LINK DO PREZENTACJI EKSLIBRISU → https://youtu.be/823ryLQzxas W swoim ekslibrisie Krzysztof Wróblewski sięgnął po technikę graficzną linorytu. Dzięki niej artysta osiągnął efekt powtarzalnego, dynamicznego znaku-plamy, który stanowi kwintesencję wypowiedzi z pogranicza sztuk wizualnych i literatury. Zainspirowany poezją konkretną,...

• Grimm Grass 2 (Słówka Grimmów)

  Publication

  • K. Wróblewski

  - Year 2020

  Krzysztof Wróblewski | Eksperyment: Ekslibris - ekslibris do powieści „Słówka Grimmów” Güntera Grassa LINK DO PREZENTACJI EKSLIBRISU → https://youtu.be/823ryLQzxas W swoim ekslibrisie Krzysztof Wróblewski sięgnął po technikę graficzną linorytu. Dzięki niej artysta osiągnął efekt powtarzalnego, dynamicznego znaku-plamy, który stanowi kwintesencję wypowiedzi z pogranicza sztuk wizualnych i literatury. Zainspirowany poezją konkretną,...

• Wielojęzyczna Finlandia. Mniejszości narodowe i ich języki we współczesnej Finlandii [Multilingual Finland. National minorities and their languages in contemporary Finland]

  Publication

  • K. Wojan

  - Year 2016

• Języki europejskie we wspólnocie homonimicznej (na przykładzie polskiego i fińskiego) [European languages in a homonymic community – as exemplified by Polish and Finnish]

  Publication

  • K. Wojan

  - Year 2009

• Teoria Muzyki. Studia, interpretacje, dokumentacje

  Journals

  ISSN: 2299-8454

• KQL as Application of SQL Rationale for Knowledge Bases

  Publication

  • K. Goczyła
  • P. Piotrowski
  • A. Waloszek
  • W. Waloszek
  • T. Zawadzka

  - Zeszyty Naukowe Wydziału ETI Politechniki Gdańskiej. Technologie Informacyjne - Year 2010

  W ramach inicjatywy Semantic Web rozwijane są systemy wnioskowania z wiedzy. Ciągle otwartym problemem są również języki dostępu do takich systemów. W artykule zaproponowano nowy język dostępu do zmodularyzowanych baz wiedzy, o cechach umożliwiających jego kompleksowe wykorzystaniew systemach zarządzania wiedzą, w sposób analogiczny do wykorzystania języka SQL w systemach relacyjnych baz danych.

• Wystawa Jubileuszowa "100 lat fizyki i matematyki na politechnice w Gdańsku"

  Publication

  • B. Ząbczyk-Chmielewska

  - Year 2004