Wyszukiwarka
Filtry
wszystkich: 2242
wybranych: 1059
-
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
Filtry wybranego katalogu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: JĘZYKI 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...
-
Język kontra umysł - o wpływie języka na sposób myślenia
Publikacja -
Wymagania formalne
PublikacjaFormalne wymagania w procesie budowlanym. Dokumentacja projektowa. Samodzielne funkcje w budownictwie. Uprawnienia budowlane. Zasady uzyskiwania uprawnień, ograniczenia i problemy
-
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.
-
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)....
-
O wartościowaniu i prawdzie w języku i tekście. Język narodowego socjalizmu w perspektywie językoznawczej i socjokulturowej
Publikacja -
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.
-
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...
-
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.
-
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...
-
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).
-
Języki migowe w Finlandii [Sign languages in Finland]
Publikacja -
Zrozumieć język fiński
Publikacja -
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...
-
Geneza homonimii języka etnicznego
Publikacja -
Ontology-Aided Software Engineering
PublikacjaThis thesis is located between the fields of research on Artificial Intelligence (AI), Knowledge Representation and Reasoning (KRR), Computer-Aided Software Engineering (CASE) and Model Driven Engineering (MDE). The modern offspring of KRR - Description Logic (DL) [Baad03] is considered here as a formalization of the software engineering Methods & Tools. The bridge between the world of formal specification (governed by the mathematics)...
-
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.
-
O nieposzanowaniu języka w chromatografii
PublikacjaW pracy przedstawiono najczęstsze błęy popełniane w języku polskim w mowie i piśmie dotyczące chromatografii.
-
Salve. Ćwiczenia z języka łacińskiego.
Publikacja -
Filmowość języka poetyckiego Czesława Miłosza
PublikacjaArtykuł rozwija tezę o filmowości wczesnej poezji Czesława Miłosza, przedstawia jej przesłanki na tle nowatorskich prądów epoki, omawia zastosowanie pojęć języka filmu jako adekwatnych wobec synekdochicznej techniki obrazowania noblisty. Prezentuje ją jako algorytm strukturalny świata poetyckiej wielogłosowości. Ukazuje związek etyki, filozofii, teologii z obrazowaniem wiersza. Dowodzi, że rozwój techniki synekdochiczno-filmowej...
-
Marketing usług w języku cybernetyki.
PublikacjaW artykule zaproponowano koncepcję systemu marketingu usług na przykładzie firmy usługowej składającej się z kierownika i personelu świadczącego usługi. W zakresie tego systemu wyróżniono marketing wewnętrzny (mix I), marketing zewnętrzny (mix II) oraz marketing interakcyjny (mix III).
-
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.
-
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.
-
Język opisu usług sieciowych WSDL.
PublikacjaNiniejszy rozdział opisuje WSDL - język opisu usług sieciowych. Rozdział zawiera wprowadzenie w tematykę usług sieciowych (Web Services), również w odniesieniu do innych technologii przetwarzania rozproszonego jak CORBA, RMI. W szczególności przedstawiono podobieństwa i różnice w opisie metod udostępnianych do wywołania klientowi w WSDL oraz IDL. Elementy standardu WSDL omówiono na przykładzie usługi sieciowej do zdalnego uruchomienia...
-
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...
-
Automaty jako narzędzia w przetwarzaniu języka
PublikacjaRozdział zawiera definicję, notację i chcarakterystykę automatów oraz algorytmy ich przekształcania, umożliwiające ich skuteczne wykorzystanie w przetwarzaniu języka.
-
Potrzebujemy nowego języka rozmowy o mieście
PublikacjaTekst jest dwugłosem specjalistów od kwestii poprawy jakości przestrzeni miejskiej widzących miasto jak przestrzeń społeczną osadzoną w zmiennych uwarunkowaniach zbudowanego środowiska życia. Aktorka/reżyser/animator kultury i architektka/urbanistka rozmawiają o sposobie komunikowania się wokół przestrzeni. W rozmowach na temat przyszłych miast blokuje nas w dużej mierze nasz język. Tu wizja podwórek i kamienic rodem z pozytywistycznych...
-
Cifrovaâ reprezentaciâ leksem russkogo âzyka
PublikacjaKonfrontowanie zasobów leksyki pokrewnych systemów języka etnicznego w celu określenia stopnia zbieżności przynależnych im homonimik wymaga stosowania wysublimowanych procedur językoznawczych mających na celu oszacowanie wspólnoty akustycznej zawartej w paralelnych parlacjach użytkowników owych języków. Ewidentne zróżnicowanie nawyków aktu artykulacji a zwłaszcza, co szczególnie istotne, nieświadomego procesu intelektualnej percepcji...
-
Proces integracji języków europejskich wyrażonej w zasobach homonimiki języka polskiego, rosyjskiego i fińskiego [The process of integration of European languages as expressed by the rich homonymy of Polish, Russian and Finnish]
Publikacja -
Języki sztuczne. Zapotrzebowanie społeczeństw czy fantazja jednostek? Zarys dziejów interlingwistyki (książka)
Publikacja -
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...
-
WordNet -bazodanowy system jako słownik języka angielskiego
PublikacjaWordNet[1] to alternatywne podejście do organizacji danychsłownikowych, w stosunku do klasycznej listy słów wraz z ich defnicjami. Koncepcja słownika opiera się na utworzeniu sieci koncepcji (sensów) powiązanych ze sobą relacjami określonego typu. Opisane zostały podstawowe założenia dotyczące budowy systemu WordNet oraz sposób organizacji danych językowych w postaci sieci semantycznej.
-
Rozumienie pojęć języka naturalnego w procesie kognitywnym
Publikacja -
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.
-
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