Wyszukiwarka
Filtry
wszystkich: 2179
-
Katalog
- Publikacje 1082 wyników po odfiltrowaniu
- Czasopisma 31 wyników po odfiltrowaniu
- Konferencje 24 wyników po odfiltrowaniu
- Wydawnictwa 6 wyników po odfiltrowaniu
- Osoby 181 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 651 wyników po odfiltrowaniu
- Wydarzenia 84 wyników po odfiltrowaniu
- Dane Badawcze 99 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: JEZYKI FORMALNE
-
Tissue fixed with formalin and processed without paraffin embedding is suitable for imaging of both peptides and lipids by MALDI-IMS
Publikacja -
Književnost i Jezik
Czasopisma -
RED. ZAGR. JĘZYK
Czasopisma -
Język w Komunikacji
Czasopisma -
Język - Szkoła - Religia
Czasopisma -
Społeczeństwo. Edukacja. Język
Czasopisma -
Język. Religia. Tożsamość
Czasopisma -
Instytucjonalizacja etyki organizacji jako technologia zarządcza.
PublikacjaW 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
PublikacjaW 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...
-
Zastosowania ontologii: Tworzenie scenariuszy negocjacyjnych z wykorzystaniem języka WS-CDL
PublikacjaIstnieje 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.
PublikacjaPrzedstawiono 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
Czasopisma -
Biuletyn Rady Języka Kaszubskiego
Czasopisma -
Notre Dame Journal of Formal Logic
Czasopisma -
„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
Publikacja -
The suitability of DNA extracted from formalin-fixed, paraffin-embedded tissues for double differential polymerase chain reaction analysis
Publikacja -
Układy cyfrowe : podstawy projektowania i opis w języku VHDL
PublikacjaPrzedstawiono 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
Publikacja -
Przetwarzanie wyrażeń języka naturalnego w wyrażenia logiczne - system Denise
PublikacjaPo 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.
-
Polityczne, prawne i ekonomiczne aspekty ustawy o języku polskim
PublikacjaW 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.
-
STM32: Aplikacje i ćwiczenia w języku C. - M. Galewski. -
PublikacjaW 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...
-
Propozycja silnika fizyki bryły sztywnej dla trójwymiarowej gry komputerowej
PublikacjaReferat 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...
-
Modelowanie struktur sieci diagnostyczno-pomiarowych z wykorzystaniem języka SMOL
PublikacjaW 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,...
-
Języki Obce w Szkole
Czasopisma -
The formal safety assesment in conforming to chosen vessel's type on the ground of hydromechanic characteristics in critical conditions.
PublikacjaTragedia 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?
PublikacjaOmó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
PublikacjaW 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.
-
Język fiński w teorii i praktyce (książka)
Publikacja -
Interakcyjna baza danych - Internetowa Biblioteka Etyki Informatycznej
PublikacjaArtykuł 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
PublikacjaKsiąż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...
-
KQL - język dostępu do konglomeratowych baz wiedzy
PublikacjaJednym 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...
-
The potential role of fatty acids in prostate cancer determined by GC–MS analysis of formalin-fixed paraffin-embedded tissue samples
Publikacja -
Propozycje form nauczania języka specjalistycznego na lektoratach dla studentów architektury
PublikacjaArtykuł 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)
Publikacja -
Ponad 30 lat tradycji nauczania języka fińskiego na Uniwersytecie Gdańskim
Publikacja -
O lepszą jakość kształcenia matematyki i fizyki na Politechnice Gdańskiej
PublikacjaAnalizowano 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
PublikacjaWłą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...
-
Aktywności stymulujące refleksję w nauczaniu języka pisanego w wirtualnej klasie
PublikacjaThe 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....
-
Work and formal retirement age - opinions of SWE employees participating in the Best Agers Lighthouses International Project
PublikacjaThe 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.
-
A multi‐industry and cross‐country comparison of technology contribution to formal and informal knowledge sharing processes for innovativeness
PublikacjaThe 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,...
-
Managing distributed architecture with Extendet WS-CDl
PublikacjaZaprezentowano 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
PublikacjaArtykuł 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
PublikacjaW 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)
PublikacjaKrzysztof 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)
PublikacjaKrzysztof 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]
Publikacja -
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]
Publikacja -
Teoria Muzyki. Studia, interpretacje, dokumentacje
Czasopisma -
KQL as Application of SQL Rationale for Knowledge Bases
PublikacjaW 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"
Publikacja