Search
Filters
total: 922
filtered: 459
-
Catalog
- Publications 459 available results
- Journals 16 available results
- People 12 available results
- Inventions 1 available results
- Projects 2 available results
- Research Teams 1 available results
- Research Equipment 1 available results
- e-Learning Courses 379 available results
- Events 17 available results
- Open Research Data 34 available results
Chosen catalog filters
Search results for: jezyk korzysci
-
Phraseological Units in Audiovisual Translation. A Case Study of Polish Dubbing of Disney’s 'The Little Mermaid'
PublicationThe paper aims to discuss phraseological units as the object of audiovisual translation in the Polish dubbing of Disney’s 'The Little Mermaid', to discuss the role of phraseological translation techniques, and to present possible translation inconsistencies. A theoretical introduction presents definitions for crucial terms. It is followed by the analysis of the corpus of phraseological units in Disney’s The Little Mermaid and...
-
English, French, and Polish Aliases of Criminals: Diversity of Inspirations in their Creation and Typical Nicknaming Schemes
PublicationThe present paper examines the topic of aliases of criminals, which seems to be understudied in linguistic research. Therefore, this article’s primary goal is to describe how criminals’ aliases are created and what are the differences and similarities in that process in English, French, and Polish. Firstly, the theoretical background concerning the topic of pseudonyms is presented. Then, the corpus gathered for this paper (available...
-
Elementary gates for cartoon computation
PublicationSformułowano elementarne bramki kwantowe, pozwalające tłumaczyć algorytmy kwantowe na język geometryczny.
-
Makrogenerator translatorów MC²
PublicationArtykuł 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)....
-
Odmiany języka fińskiego. Finglish w różnych odsłonach [Varieties of the Finnish language. Different pictures of Finglish]
Publication -
Esperanto w leksykografii polskiej. Bibliografia słowników (1888–2012) [Esperanto in Polish lexicography. Dictionaries published in the years 1888–2012]
Publication -
Ekspert wyjaśnia: Jak wyzwolić aktywność urzędników
PublicationArtykuł przedstawia podstawowe korzyści płynące z wdrożenia w jednostkach samorządu terytorialnego systemu zarządznia jakością wg normy ISO 9001 oraz czynniki, które te korzyści warunkują,
-
Influence of the variability of the odour emission rate on its impact range: a case study of the selected industrial source
Publication -
VRML visualization of pelagic fish movement in the echosounder beam.
PublicationPrzedstawiono konstrukcję dynamicznych trójwymiarowych echogramów dla danych pochodzących z przeszukiwań akustycznych zrealizowanych przy pomocy echosondy z rozszczepioną wiązką. Wizualizację zrealizowano wykorzystując język opisu wirtualnej rzeczywistości VRML.
-
Electroabsorption study of metal-to-ligand charge transfer in an organic complex of iridium (III).
PublicationW pracy zmierzono i zinterpretowano widmo elektroabsorpcji (EA) próżniowo naparowanych warstw organicznego kompleksu Ir(ppy)3, powszechnie stosowanego jako emiter fosforescencyjny w organicznych diodach elektroluminescencyjnych. Analiza widma EA potwierdziła fakt,że niskoenergetyczne stany elektronowe tego kompleksu związane są z przeniesieniem ładunku metal-ligand.
-
Ontology-Aided Software Engineering
PublicationThis 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)...
-
Electric field and charge induced quenching of luminescence in electroluminescent emitters based on lanthanide complexes
PublicationW pracy badano ładunkowe i elektrycznopolowe wygaszanie ekscytonóww układzie dwuamina TPD: organiczny kompleks europu przez pomiar zaników fotoluminescencji w zewnętrznym polu elektrycznym.
-
Exciton quenching in emitter blends for organic light emitting devices probed by electric field-dependent time-resolved luminescence
PublicationW pracy badano mechanizm wygaszania ekscytonów w układzie dwuamina TPD:organiczny kompleks Eu:matryca TPD przez pomiar zaniku fotoluminescencji w zewnętrznym polu elektrycznym.
-
Singlet exciton interactions in solid films of Alq3.
PublicationW pracy tej na podstawie pomiarów zależności wydajności fluorescencji od natężenia światła wzbudzjącego, wyznaczono stałą oddziaływania ekscyton singletowy - ekscyton singletowy w warstwie organicznego kompleksu aluminium Alq3.
-
Phosphorescence response to excitonic interactions in Ir organic complex-based electrophosporescent emitters
PublicationSpadek kwantowej wydajności fosforescencji ze wzrostem natężenia światła wzbudzajacego w Ir(ppy)3 tworzącym 100% warstwę naparowaną próżniowo oraz w Ir(ppy)3 umieszczonym w matrycy polimerowej PC:TPD, jest wywołany odziaływaniami między ekscytonami trypletowymi. Stała oddziaływania tryplet-tryplet wynosi (1-3)x 10-12 cm3/s i tylko nieznacznie zależy od stężenia Ir(ppy)3 w warstwie.
-
Triplet exciton interactions in solid films of an elektrophosphorescent Pt(II) porphyrin
PublicationW pracy pokazano, że fosforescencja porfiryny platynowej (PtOEP) jest wygaszana na skutek oddziaływania między monomerowymi i dimerowymi ekscytonami trypletowymi. Stała oddziaływania dla monomerowych ekscytonów trypletowych wynosi 8x10-12 cm3/s a dla ekscytonów dimerowych 8x10-15 cm3/s.
-
Dlaczego istnieje w Polsce konieczność budowy elektrowni jądrowych?
PublicationZaprezentowano i uzasadniono korzysci, które wynikają z wdrożenia w Polsce wytwarzania energii elektrycznej w elektrowniach jądrowych. Rozwój energetyki jadrowej przedstawiono w aspektach ekonomicznym, energetycznym i ekologicznym.
-
Dlaczego istnieje w Polsce konieczność budowy elektrowni jądrowych?
PublicationZaprezentowano i uzasadniono korzysci, które wynikają z wdrożenia w Polsce wytwarzania energii elektrycznej w elektrowniach jądrowych. Rozwój energetyki jadrowej przedstawiono w aspektach ekonomicznym, energetycznym i ekologicznym.
-
Dbajmy o poprawność językową naszych prac i wypowiedzi
PublicationCelem opracowania jest zwrócenie uwagi czytelnika na problem braku dbałościo język polski oraz stosowanie poprawnej nomenklatury i terminologii chemi-cznej. W pracy zawarto najczęstsze przypadki usterek terminologicznych iprzejawy żargonu laboratoryjnego.
-
Spor o sušestvovanii mira : vremâ i sposób sušestvovaniâ / Roman Ingarden ; przeł. Janina Kubka, Maxim W. Lebiediew
PublicationPrzekład na język rosyjski paragrafu 27 ''Wstępne uwagi o czasie konkretnym'', paragraf 28 ''Sposób istnienia zdarzeń'' i paragrafu 29 ''Sposób istnienia procesu''. Pierwszego Tomu ''Sporu o istnienie świata'' Romana Ingardena, wydanie Warszawa 1987.
-
Artificjal environment for simulation of emergent behaviour
PublicationPrzedstawiono opracowane środowisko dla modelowania zjawisk, w których współdziałanie wielu prostych jednostek prowadzi do powstawania złozonych struktur. Sposób oddziaływania jednostki zawarty jest w jej strukturze, która interpretowana jest poprzez specjalnie zdefiniowany język podobny do Prologu.
-
Komputerowe wspomaganie zmian modernizowanych układów geometrycznych toru
PublicationW artykule przedstawiono opracowywany obecnie program komputerowy służący do obliczeń przesunięć toru i robót ziemnych związanych z modernizacją układów geometrycznych toru kolejowego. W pracy scharakteryzowano zastosowany język programowania oraz przedstawiono aktualny stan pracy nad programem.
-
Komputerowe wspomaganie zmian modernizowanych układów geometrycznych toru
PublicationW artykule przedstawiono opracowywany obecnie program komputerowy służący do obliczeń przesunięć toru i robót ziemnych związanych z modernizacją układów geometrycznych toru kolejowego. W pracy scharakteryzowano zastosowany język programowania oraz przedstawiono aktualny stan pracy nad programem.
-
Wykorzystanie WAP i WML w usługach bezprzewodowych.
PublicationOpisano schemat transakcji przy wykorzystaniu protokołu WAP. Zaprezentowano język znaczników WML dla urządzeń bezprzewodowych. Przedstawiono narzędzia służące do tworzenia aplikacji opartych o protokół WAP. Wskazano na kirunki rozwoju protokołu i inne standardy o podobnych funkcjach.
-
Motywy tworzenia i rozwoju klastrów przemysłowych w dobie globalizacji
PublicationW niniejszym artykule autorka omawia korzyści płynące z funkcjonowania w strukturach klastrowych.
-
Wykorzystanie ontologii wzbogaconych o reguły logiczne w systemach integracji danych.
PublicationCelem systemów integracji danych jest dostarczenie jednolitego interfejsu do wielu, dostępnych w sieci heterogenicznychźródeł informacji. Wraz z rozwojem Internetu opracowanie metodologii zarządzania wiedzą poprzez systemy integracji danych stało się jednym z fundamentalnych problemów zarządzania informacją. W ramach inicjatywy semantic Web powstał język OWL (Web Ontology Language) umożliwiający opisywanie semantyki różnych danych....
-
Sieci kanalizacyjne i wodociągowe z tworzyw sztucznych
PublicationPodstawowe problemy projektowania i realizacji sieci z tworzyw sztucznych. Nowe oferty. Korzyści i zagrożenia.
-
Formalizacja pracy w aptece może usprawnić jej działanie. - (Prawo, praca, kariera)
PublicationW artykule omówione są korzyści i wady formalizacji działań w aptece oraz zasady formalizowania.
-
Zaradny lokator
PublicationArtykuł opisuje korzyści z zastosowania zaworu powrotnego w instalacjach oraz zagrożenia spowodowane jego montażem.
-
Komputerowe wspomaganie zmian modernizowanych układów geometrycznych toru kolejowego z wykorzystaniem programu MUGO
PublicationW artykule przedstawiono opracowywany obecnie program komputerowy służący do obliczeń przesunięć toru i robót ziemnych związanych z modernizacją układów geometrycznych toru kolejowego w łukach. W pracy scharakteryzowano zastosowany język programowania oraz przedstawiono aktualny stan pracy nad programem MUGO.
-
Komputerowe wspomaganie zmian modernizowanych układów geometrycznych toru kolejowego z wykorzystaniem programu MUGO
PublicationW artykule przedstawiono opracowywany obecnie program komputerowy służący do obliczeń przesunięć toru i robót ziemnych związanych z modernizacją układów geometrycznych toru kolejowego w łukach. W pracy scharakteryzowano zastosowany język programowania oraz przedstawiono aktualny stan pracy nad programem MUGO.
-
Kalibracja i walidacja metody Mathara za pomocą Metody Elementów Skończonych
PublicationMetoda pomiaru naprężeń powierzchniowych przy pomocy rozet tensometrycznych i kontrolowanych odwiertów (metoda otworkowa) jest stosowana powszechnie w odniesieniu do stali izotropowych oraz silnie anizotropowych laminatów, natomiast nie została rozpoznana jej stosowalność do umiarkowanie anizotropowych stopów metali. W artykule opisane jest odniesienie wyników pomiarów wykonanych na płytach ze stali duplex do modelu numerycznego...
-
Metaheurystyki jako narzędzie rozwiązania problemów zarządzania
Publicationw pracy przedstawiono metaheurystyki do rozwiązywania trudnych problemów zarządzania oraz scharakteryzowano potencjalne korzyści wynikające z ich zastosowania w przedsiębiorstwie.
-
Quantum aspects of semantic analysis and symbolic artificial intelligence.
PublicationNowoczesne podejścia do analizy semantycznej, jeśli przeformułować je w język przestrzeni Hilberta, ujawniają formalne struktury znane z mechaniki kwantowej. Podobna sytuacja występuje w rozproszonych reprezentacjach struktur poznawczych rozwijanych na użytek sieci neuronowych. W pracy przyglądamy się różnicom i podobieństwom owych teorii do kwantowej teorii informacji.
-
Metody opisu ontologii: Wnioskowanie w ontologiach opartych na logice opisowej
PublicationLogika opisowa jest aktualnie jednym z najsilniej rozwijanych formalizmów stosowanych w ontologicznych metodach reprezentacji wiedzy. Jednym z powodów jest to, że język OWL-DL, promowany prze W3C jako język do reprezentacji ontologii Semantycznego Internetu, oparty jest właśnie na logice opisowej. W tym artukule zaprezentowano logikę opisową jako sposób precyzyjnego formułowania i przetwarzania wiedzy. Podano definicję bazy wiedzy...
-
Intranet w komunikacji wewnętrznej przedsiębiorstwa
PublicationKomunikowanie się w organizacjach jest warunkiem koniecznym sprawnego jej funkcjonowania. Napotyka jednak na szereg barier. Nowe możliwości technologiczne, takie jak Intranet wspierają proces komunikacyjny przedsiębiorstwa, oferując wiele korzyści. W rozdziale omówiony został proces komunikacji i bariery komunikacyjne. Opisane zostały związki między komunikowaniem się a efektywnością przedsiębiorstwa. Przedstawiono podstawowe korzyści...
-
Zmniejszenie zużycia paliwa w wyniku stosowania krokowej metody różnicowania obciążeń okrętowych silników spalinowych pracujących równolegle
PublicationPrzedstawiono metodę krokowego różnicowania obciążeń pracujących równolegle silników okrętowych oraz możliwości uzyskania zmniejszenia zużycia paliwa. Podano przykład zastosowania metody i uzyskanych korzyści.
-
System magazynowania i regeneracji docieraków rozprężnych do obróbki otworów walcowych.
PublicationPrzedstawiono sposób regeneracji tulei rozprężnych docieraków do otworów walcowych. Zastosowana obróbka opracowanych narzędzi przyniesie wymierne korzyści ekonomiczne i organizacyjne w procesie magazynowania narzędzi.
-
Ekonomiczne aspekty przystąpienia Polski do strefy euro
PublicationW publikacji określono korzyści i koszty związane z przystąpieniem Polski do strefy euro. Przedstawiono czynniki decydujące o przystąpieniu Polski do jednolitego obszaru walutowego.
-
Ontologie jako metoda reprezentacji wiedzy
PublicationLogika opisowa (ang. Description Logic - DL) jest aktualnie jednym z najsilniej rozwijanych formalizmów stosowanych w ontologicznych metodach reprezentacji wiedzy. Jednym z powodów jest to, że język OWL-DL, promowany przez W3C jako język do reprezentacji ontologii internetowych, opary jest właśnie na logice opisowej. W tym artykule zaprezentowano logikę opisową jako sposób precyzyjnego formułowania i przetwarzania wiedzy. Podano...
-
Cienie, cykl 'Odcinki' (1998)
PublicationKatalog aukcji polskiej sztuki współczesnej, która odbyła się w Domu Aukcyjnym Desa Unicum w Warszawie w dniu 15 grudnia 2011 roku. Katalog liczy 62 strony i zawiera noty biograficzne artystów wraz z charakterystyką twórczości w jezyku polskim, i zawiera 59 kolorowych reprodukcji (rep. autora s. 12). Wydawcą katalogu jest Desa Unicum.
-
Adam Smith
PublicationKsiążka omawia życie i twórczość Adama Smitha (1723-1790), zarówno opublikowaną za jego życia, jak i tę wydaną pośmiertnie oraz odtworzoną na podstawie notatek jego słuchaczy. W drugiej części zamieszczono wybór fragmentów tekstów najbardziej reprezentatywnych dla tego filozofa. Wśród nich znalazły się teksty tłumaczone po raz pierwszy na język polski.
-
Recykling opakowań ze szkła, aluminium i PET
PublicationW artykule porównano możliwość i korzyści wynikające z recyklingu pojemników typu puszka aluminiowa, butelka szklana i butelka PET. Ocenę przedstawiono na podstawie zebranych danych literaturowych.
-
ANALIZA PORÓWNAWCZA ROZWIĄZAŃ OKRĘTOWYCH INSTALACJI GRZEWCZYCH
PublicationW artykule przedstawiono opisy i schematy okrętowych instalacji grzewczych parowych i olejowych. Dokonano przeglądu ich własności oraz przeprowadzono analizę porównawczą z punktu widzenia korzyści eksploatacyjnych.
-
Dual fuelling of truck CI engine with diesel oil and mixture of propane and butane
PublicationW artykule przedstawiono zasadę działania dwupaliwowego zasilania jednocześnie olejem napędowym i odparowanym LPG silnika samochodu ciężarowego. Pokazano korzyści wynikające ze zużycia tańszego paliwa zbadane doświadczalnie.
-
Metoda 5S jako narzędzie modelowania procesów na stanowisku pracy.
PublicationOmówiono metodę 5S, która pozwala na analizowanie i modelowanie procesów zachodzących na stanowisku pracy. Przedstawiono istotę, zasady wdrożenia i korzyści wypływające z zastosowania tej metody.
-
ISO 9000 jako narzędzie skutecznego konkurowania na rynkach unijnych
PublicationPrzedstawiono aktualną postać rodziny norm ISO 9000 oraz wskazano podstawowe korzyści płynące z faktu posiadania odpowiednio wdrożonego i certyfikowanego systemu w kontekście integracji z UE.
-
Cele i skuteczność reklamy
PublicationReklama realizuje różne cele. Jedne związane są z krótkofalowymi, a inne z długofalowymi korzyściami. Skuteczna reklama to ta, ktora nastawiona jest na realizację celów przynoszących długofalowe korzyści.
-
Virtual instruments for stroboscopic effects simulation
PublicationPrzedstawiono korzyści wynikające z wykorzystania edukacyjnych przyrządów wirtualnych w nauczaniu metrologii. Jako przykład pokazano przyrządy wirtualne umożliwiające zasymulowanie efektu stroboskopowego, m.in. do analizy działania częstościomierza rezonansowego.
-
KQL as Application of SQL Rationale for Knowledge Bases
PublicationW 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.