Wyszukiwarka
Filtry
wszystkich: 2120
-
Katalog
- Publikacje 1070 wyników po odfiltrowaniu
- Czasopisma 31 wyników po odfiltrowaniu
- Konferencje 24 wyników po odfiltrowaniu
- Wydawnictwa 6 wyników po odfiltrowaniu
- Osoby 174 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 614 wyników po odfiltrowaniu
- Wydarzenia 81 wyników po odfiltrowaniu
- Dane Badawcze 99 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: jezyki formalne
-
Języki i gramatyki formalne
PublikacjaRozdział zawiera wprowadzenie do teorii języków formalnych, gramatyk i automatów. Przedstawione zostały podstawowe pojęcia i definicje oraz przykłady dotyczące w szczególności analizy leksykalnej, składniowej i semantycznej zdań w językach formalnych.
-
Języki formalne, automaty i translatory
PublikacjaKsiążka stara się w przystępny sposób przedstawić zagadnienia związane z teorią języków formalnych, automatów i translatorów. Wiedza ta pomoże nie tylko zrozumieć zasady stosowanych na co dzień narzędzi informatycznych, ale pomoże również w rozwiązywaniu częstych problemów związanych z przetwarzaniem danych tekstowych o zdefiniowanej strukturze.Książka ta przeznaczona jest przede wszystkim dla szerokiego grona studentów informatyki...
-
Wymagania formalne
PublikacjaFormalne wymagania w procesie budowlanym. Dokumentacja projektowa. Samodzielne funkcje w budownictwie. Uprawnienia budowlane. Zasady uzyskiwania uprawnień, ograniczenia i problemy
-
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ą.
-
Koncert Języki Muzyki
WydarzeniaW pięknej Auli Politechniki Gdańskiej znów zabrzmi muzyka. Zapraszamy na koncerty fortepianowe „Języki muzyki” w dniach 17 i 18 września.
-
Język kontra umysł - o wpływie języka na sposób myślenia
Publikacja -
Postępy Fizyki
Czasopisma -
Formalne przejawy procesów transformacji w architekturze współczesnej
PublikacjaW referacie przedstawiono aspekty podejścia topologicznego w projektowaniu architektonicznym. Omówiono wybrane tendencje i teorie panujące na badanym polu tema-tycznym, na tle podstaw alternatywnych geometrii w dobie CAAD, podstaw filozoficznych i uwarunkowań cywilizacyjnych.
-
Język KQL jako realizacja idei języka SQL dla bazy wiedzy
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 wykorzystanie w systemach zarządzania wiedzą, w sposób analogiczny do wykorzystania języka sql w systemach relacyjnych baz danych.
-
Content malondialdehyde (MDA) in infant formulae and follow-on formulae
PublikacjaZbadano zawartość dialdehydu malonowego, szkodliwego dla zdrowia produktu oksydacji lipidów, w preparatach do początkowego MP i następnego MN żywienia niemowląt, w mleku ludzkim, nieprzetworzonym mleku krowim oraz w oleju sojowym i rzepakowym - składnikach MP i MN. W preparatach stwierdzono znaczne zawartości MDA, w zależności od stosowanej przez producenta technologii produkcji, sposobu pakowania oraz warunków przechowywania gotowego...
-
Czasowe i formalne instrumenty polityki bilansowej i podatkowej
PublikacjaPublikacja zawiera omówienie czasowych i formalnych instrumentów polityki bilansowej i podatkowej. Wyjaśniono w nim pojęcie roku podatkowego i roku obrotowego. Zaprezentowano obowiązki i odpowiedzialność za prawidłowe rozliczenia podatkowe.
-
Polska Organizacja Turystyczna-charakterystyka formalno-prawna
Publikacjacelem opracowania jest przyblizenie celu, działania oraz regulacji formalno- prawnej Polskiej organizacji turystycznej.
-
Aspekty formalno-prawne współczesnej gospodarki energetycznej
PublikacjaPrzedstawiono najbardziej istotne akty prawne , dyrektywy,zarządzenia rozporządzenia regulujące procesy gospodarowania energią
-
Formalne wymagania w stosunku do ustalenia geotechnicznych warunków posadowienia
PublikacjaSzczegółowe omówienie formalnych wymagań prawnych w stosunku do dokumentacji posadowienia obiektu budowlanego. Konsekwencje przystąpienia Polski do CEN skutkują koniecznością wprowadzenia EUROKODÓW, a dalej odpowiednich wymagań w stosunku do dokumentacji posadowienia. Wprawdzie w dotychczasowych regulacjach prawnych były zamieszczone informacje dotyczące zagadnienia, a podstawowe klasyfikacje nie uległy zmianom,. jednak wcześniejsze...
-
Urządzenia fotowoltaiczno-termalne (PVT)
PublikacjaPVT to urządzenie łączące w sobie funkcje modułu fotowoltaicznego i kolektora słonecznego, w którym rolę absorbera pełni moduł ogniw fotowoltaicznych. Umożliwia to otrzymywanie z tej samej powierzchni pokrycia dachu lub fasady budynku jednocześnie energii elektrycznej i cieplnej. Uzyskiwane ciepło jest ciepłem niskotemperaturowym.Obniżenie temperatury ogniw fotowoltaicznych podczas ich pracy prowadzi do podwyższenia sprawności...
-
Katarzyna Wojan dr hab.
OsobyDoktor habilitowany nauk humanistycznych w zakresie językoznawstwa; rusycystka i fennistka; profesor uczelni w Instytucie Skandynawistyki i Fennistyki Uniwersytetu Gdańskiego; w latach 2016–2019 pełniła funkcję kierownika Pracowni Języka, Kultury i Gospodarki Finlandii; założycielka i kierownik Pracowni Leksykograficzno-Bibliograficznej oraz Pracowni Języka Fińskiego na Wydziale Filologicznym UG. Autorka i współautorka ponad 200...
-
Upamiętnianie w zdecentralizowanej formule
PublikacjaRealizacje kommemoratywne tworzone obecnie w przestrzeni publicznej udowadniają, e definicja pomnika jest niejednoznaczna, wynika z różnych aspektów twórczości i dostosowuje się do kontekstu kulturowego epoki. Celem artykułu jest analiza współczenej realizacji formuły zdecentralizowanej.
-
Języki opisu scenariuszy realizacji przedsięwzięć
PublikacjaOpisano trzy podejścia do implementacji języków opisu scenariuszy. Przedstawiono oraz porównano reprezentantów tych pojęć. Dla wybranych języków przedstawiono przykładowe aplikacje pozwalające na ich wykorzystanie.
-
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.
-
Model formalny dla problemu lokalizacji błędów w kodzie programu
PublikacjaIstnieje szereg sposobów badania poprawności programów komputerowych. W niniejszym referacie podejmujemy problem automatycznego testowania oprogramowania przy założeniu, iż dany jest zbiór testów (asercji) dla poszczególnych fragmentów kodu. Dla uproszczenia analizy zakładamy, że badany fragment kodu zawiera dokładnie jeden błąd, co nie zmniejsza ogólności rozważań. W artykule analizujemy praktyczne aspekty powyższego problemu...
-
Jak zorganizować stanowisko pracy od strony formalnej? (cz.2)
PublikacjaW artykule omówione zostały zasady sporządzania karty opisu stanowiska pracy.
-
Sytuacja odbiorcy komunalno – bytowego w aktualnych uwarunkowaniach formalno - prawnych
PublikacjaW artykule zostanie przedstawiona analiza funkcjonowania zasady wolnego wyboru dostawcy energii elektrycznej. Podstawą do analizy sytuacji polskich gospodarstw domowych będą obowiązujące akty formalno – prawne. Rezultatem będzie wyznaczenie głównych przeszkód organizacyjnych, utrudniających zmianę sprzedawcy odbiorcom na niskim napięciu oraz próba wskazania obszarów, w których zmiany wydają się najistotniejsze.
-
O wartościowaniu i prawdzie w języku i tekście. Język narodowego socjalizmu w perspektywie językoznawczej i socjokulturowej
Publikacja -
Problemy moralne w sprzedaży bezpośredniej
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.
-
Body surface area formulae: an alarming ambiguity
PublikacjaBody surface area (BSA) plays a key role in several medical fields, including cancer chemotherapy, transplantology, burn treatment and toxicology. BSA is often a major factor in the determination of the course of treatment and drug dosage. A series of formulae to simplify the process have been developed. Because easy-to-identify, yet general, body coefficient results of those formulae vary considerably, the question arises as to...
-
Jezik
Czasopisma -
Języki migowe w Finlandii [Sign languages in Finland]
Publikacja -
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
-
Przetwarzanie języka naturalnego
PublikacjaRozdział opisuje przetwarzanie języka naturalnego z podziałem na warstwy przetwarzania. Omawia też zagadnienie jakości przetwarzania na przykładzie poprawiania błędów i optymalizacji reguł.
-
O języku reklamy
PublikacjaW artykule omówiono wybrane aspekty wykorzystania języka mówionego i pisanego w reklamie (głównie telewizyjnej).
-
Makrogenerator translatorów MC²
PublikacjaArtykuł prezentuje stworzony przez autorów makrogenerator translatorów MC². Makrogenerator ten po otrzymaniu definicji języka staje się translatorem tego języka. Język definiuje się podając jego składnię (produkcje gramatyki zapisane w notacji BNF) oraz znaczenie poszczególnych konstrukcji składniowych tj. opis przekształceń tekstu odpowiadającego danej konstrukcji składniowej na tekst w pewnym języku bazowym (makrodefinicje)....
-
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.
-
Strani jezici
Czasopisma -
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.
-
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...
-
Geneza homonimii języka etnicznego
Publikacja -
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.
-
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ń...
-
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....
-
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...
-
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 -
Zrozumieć język fiński
Publikacja