Wyszukiwarka
Filtry
wszystkich: 2242
-
Katalog
- Publikacje 1059 wyników po odfiltrowaniu
- Czasopisma 24 wyników po odfiltrowaniu
- Konferencje 24 wyników po odfiltrowaniu
- Wydawnictwa 6 wyników po odfiltrowaniu
- Osoby 240 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 680 wyników po odfiltrowaniu
- Wydarzenia 89 wyników po odfiltrowaniu
- Dane Badawcze 99 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: JĘZYKI FORMALNE
-
Projektowanie systemów informatycznych z wykorzystaniem języka korzyści
PublikacjaCelem rozdziału jest prezentacja możliwości zastosowania języka korzyści zamiast języka wymagań w projektowaniu systemów informatycznych. W części pierwszej został przedstawiony problem złożoności wymagań pozyskiwanych od klienta. Scharakteryzowano podstawowe pojęcia: inżynierii wymagań i języka wymagań oraz wskazano na ich znaczenie. W części drugiej przedstawiono koncepcję języka korzyści. Omówiono język korzyści z punktu widzenia...
-
Rola fragmentów wyodrębnionych w języku UML 2
PublikacjaPrzedmiotem rozważań zaprezentowanych w niniejszej publikacji są zmiany oraz udoskonalenia związane z superstrukturą języka UML, wprowadzone wraz z wersją 2.0 tego standardu. W odróżnieniu od modyfikacji poczynionych w ramach poprzednich rewizji języka, zakres udoskonaleń związanych z przejściem pomiędzy wersjami 1.5 oraz 2.0 określić należy jako znaczny. W niniejszym referacie skoncentrowano się na jednej, ale bardzo znaczącej...
-
Jak zorganizować stanowisko pracy w aptece od strony formalnej? (cz.1)
PublikacjaW artykule omówione zostały zasady organizowania stanowisk pracy.
-
DBpedia As a Formal Knowledge Base – An Evaluation
PublikacjaDBpedia is widely used by researchers as a mean of accessing Wikipedia in a standardized way. In this paper it is characterized from the point of view of questions answering system. Simple implementation of such system is also presented. The paper also characterizes alternatives to DBpedia in form of OpenCyc and YAGO knowledge bases. A comparison between DBpedia and those knowledge bases is presented.
-
Narodowe Forum Muzyki
PublikacjaTekst o Narodowym Forum Muzyki we Wrocławiu
-
Rozkład logarytmiczno-normalny a względne i absolutne miary rozproszenia.
PublikacjaW artykule przedstawiono rozważania dotyczące miar rozproszenia zmiennej losowej, która charakteryzuje się rozkładem logarytmiczno- normalnym.
-
Aspekty Muzyki
Czasopisma -
On the use of instantaneous complex frequency for pitch and formant tracking.
PublikacjaW pracy opisano algorytm śledzenia częstotliwości podstawowej i formantów mowy z wykorzystaniem zespolonej pulsacji chwilowej. Działanie algorytmu przetestowano na nagraniach polskich samogłosek, których wysokość zmieniała się płynnie. Wyniki testów wraz z porównaniem działania opisanej metody i metody predykcji liniowej zawarto w artykule.
-
Moralne przesilenie współczesności a dydaktyczny potencjał etyki biznesu
PublikacjaW artykule okreslone są warunkowania okreslające funkcjonale mozliwości dydaktyki w zakresie etyki biznesu. Przypadek Enrom potraktowany jest jako moralistyczna przypowiesc na temat niedopuszczalnosci absolutyzacji wartosci programów etycznych firm oraz potrzeby modyfikacji metodyki edukacji etycznej w kierunku silniejszej inderdyscyplinarności, powiazania z anrtopologią, ekonomią, socjologią, politologią.
-
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...
-
Język fiński w teorii i praktyce (książka)
Publikacja -
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...
-
Neuronowe modele z atencją w przetwarzaniu języka naturalnego
PublikacjaCelem niniejszego rozdziału jest wprowadzenie w tematykę sieci neuronowych z atencją oraz ich zastosowań w przetwarzaniu języka naturalnego. Rozdział skupia się w szczególności na dokładnym omówieniu architektury modelu Transformer, wykorzystującego atencję jako podstawowy mechanizm swojego działania.
-
Pseudostany w diagramach maszyny stanowej języka UML 2.0
PublikacjaKluczowymi pojęciami w odniesieniu do obiektowych baz danych są obiekty i ich klasy. Aspekt dynamiczny obiektów w systemach intensywnie wykorzystujących dane może być modelowany przy wykorzystaniu diagramów maszyn stanowych. Semantykę tego rodzaju diagramów w wersji 2.0 języka UML znacząco rozbudowano o szereg kategorii pojęciowych. Do najistotniejszych z nich należą pseudostany obiektów. Pozwalają one na precyzyjną specyfikację...
-
Wieloznaczność w języku i tekście [Ambiguity in language and text]
Publikacja -
Ontologia języka wzorców projektowych dla systemów Smart Cities
PublikacjaW artykule przedstawiono definicję języka wzorów projektowych Smart Cities w postaci ontologii. Jako, że wdrażanie rozwiązania Smart City jest trudne, drogie i ściśle związane z problematyką dotycząca danego miasta, wiedza nabywana podczas pojedynczego wdrożenia jest wiedzą niezwykle cenną. Zdefiniowany przez nas język wspiera zarządzanie ww. wiedzą jako, że pozwala on na ekspresję rozwiązania, które bazując na najlepszych praktykach...
-
Biuletyn Rady Języka Kaszubskiego
Czasopisma -
Selected reflections on formal modeling in Industry 4.0
Publikacja -
Formal Institutions: the Source of Unproductive Entrepreneurship in Poland
PublikacjaThe purpose of this article is to determine the entrepreneurs' perception of formal institutions in Poland as a source of non-productive behaviours. The research methodology was developed based on many years of the teams' research experience. It involved three stages of research: 1) panel of experts and 2) telephone surveys of 1,612 entrepreneurs in Poland, which were the basis for 3) development of detailed research to be conducted...
-
Języki skonstruowane jako obiekt badań współczesnej interlingwistyki [Constructed Languages as an Object of Study in Contemporary Interlinguistics]
Publikacja -
„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 -
Evaluation of Body Surface Area Formulae Based on 3D Body Scans
PublikacjaHuman body surface area (BSA) is an established parameter for the calculation of chemotherapy drugs dosage, treatment of chronic hepatitis B, treatment of burns or for establishing a dosing regimen for antimicrobials. Although being a critical parameter, usage of modern 3D scanners, which would measure the exact BSA value, is often impossible in time-sensitive operations or for patients unable to withstand the scanning process....
-
Evaluation of empirical formulae for estimation of the longitudinal dispersion in activated sludge reactors
PublikacjaBadania traserowe są szeroko stosowane do oceny hydrauliki reaktorów. Jednak w komorach osadu czynnego interpretacja wyników jest trudna z uwagi na recyrkulacje wewnętrzne i recyrkulację osadu z osadnika. Wzory empiryczne mogą być alternatywną metodą oceny warunków hydraulicznych w komorach. Celem tych badań było sprawdzenie czterech wzorów empirycznych na obliczanie współczynnika dyspersji hydrodynamicznej w oparciu o wyniki badań...
-
Zarządzanie bezpieczeństwem morskim z wykorzystaniem Formalnej Oceny Bezp0ieczeństwa Żeglugi na przykładzie Zatoki Pomorskiej
PublikacjaProjekt systemu formalnej oceny bezpieczeństwa żeglugi dla Zatoki Pomorskiej i portu Świnoujście, wykonany zgodnie z zaleceniami IMO. Zastosowanie technik wspomagających analizę ryzyka wykorzystywanych w FSA. Wnioskowanie dotyczące bezpieczeństwa na podstawie analizy FSA.
-
Formalno-prawne uwarunkowania rozwoju mieszkalnictwa w Polsce w aspekcie eksploatacji mieszkalnych jednistek pływających
PublikacjaArtykuł zawiera analizę sytuacji prawnej obiektów jakimi są Domy Na Wodzie oraz konsekwencji jakie powodują dla właścicieli aktualne zapisy najważniejszych Ustaw z nimi związanych tzn.: ustawy Prawo budowlane, ustawy o gospodarce nieruchomościami, Kodeksu cywilnego oraz Prawa wodnego. W pracy opisano światowe trendy osadnictwa na wodzie i porównano do sytuacji mieszkalnictwa na wodzie w Polsce. Na podstawie doświadczeń innych krajów...
-
Etos sprzedaży bezpośredniej. Problemy moralne a istniejące uregulowania kodeksowe
PublikacjaAutorzy uściślają szerokie i węższe ujęcie definicyjne sprzedaży bezpośredniej, jako formy handlowania. Następnie przedstawiają problemy moralne, spotykane w tego typu sprzedaży. Problemy te zostały uszeregowane w zależności od relacji pomiędzy podmiotami transakcji. Problematyka ta została spisana w sposób spontaniczny, wypływający z osobistego doświadczenia autorów artykułu. Następnie omówione zostają istniejące uregulowania...
-
Moral problems in the process of polish economy transformation
PublikacjaArtykuł zawiera uwagi dotyczące problemów etycznych okresu transformacji w Polsce. Podane są przykłady kodeksów i zasadność ich wprowadzenia w firmach. Artykuł zawiera też informacje o realizowanym na Wydziale Zarządzania i Ekonomii PG programie ''Etyka biznesu'' oraz uwagi studentów dotyczące ciekawych problemów,o które program jest poszerzany.
-
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...
-
Obraz Bożego Narodzenia i Wielkanocy w języku dziesięcioletnich dzieci
Publikacja -
Metody i jezyki opisu scenariuszy zachowań aplikacji przetwarzania wszechobecnego
PublikacjaPrzedstawiono opis przetwarzania scenariuszy zachowań aplikacjiprzetwarzania wszechobecnego. Zaprezentowano charakterystykę porównawczą języków wykorzystywanych do opisu takich scenariuszy. Przytoczono prace, w których podjęto próby wykorzystania języków formalnych do weryfikowania poprawności scenariuszy na etapie ich defniowania.
-
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.
-
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.
-
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,...
-
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.
-
On a systematic perspective on risk for formal safety assessment (FSA)
Publikacja -
Set of experience : a knowledge structure for formal decision events
PublikacjaOmówiono strukturę wiedzy w obszarze formalnych zadań decyzyjnych. Zaproponowano zbiór doświadczeń jako podstawę tej struktury.
-
Analiza akustyczna jako parametr klasyfikacji formalnej homonimii międzyjęzykowej [The acoustic analysis as a parameter for classifying interlingual homonymy]
Publikacja -
Interpretacja badania dysypacji w gruntach normalnie skonsolidowanych w metodzie CPTU
PublikacjaAnaliza ciśnienia wody generowanego podczas wciskania końcówki CPTU. Przedstawiono opis krzywej dysypacji w gruntach normalnie konsolidowanych oraz przykład interpretacji badania dysypacji nadwyżki ciśnienia wody w warstwie gliny pylastej. Wyznaczono wartość współczynnika konsolidacji oraz współczynnika filtracji w tej warstwie.
-
Wyróżnienia dla trójmiejskich popularyzatorów fizyki
PublikacjaArtykuł poświęcony doktorowi Stanisławowi Zacharze - laureatowi wyróżnienia za popularyzację fizyki przyznawanego przez Oddział Gdańskiego Towarzystwa Fizycznego.
-
Synergistic effect of nickel formate on the thermal and flame-retardant properties of polypropylene
Publikacja -
Speech formant frequency and pitch estimation using instantaneous complex frequency
PublikacjaW pracy opisany został algorytm estymacji częstotliwości podstawowej oraz częstotliwości środkowych i pasm formantów mowy z wykorzystaniem zespolonej pulsacji chwilowej. W artykule przedstawiono również wyniki działania algorytmu dla polskich samogłosek.
-
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.
-
Języki Obce w Szkole
Czasopisma -
Język fiński na Uniwersytecie Gdańskim [Finnish Studies at the University of Gdańsk]
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 -
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....
-
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.