Wyniki wyszukiwania dla: JĘZYKI FORMALNE - MOST Wiedzy

Wyszukiwarka

Wyniki wyszukiwania dla: JĘZYKI FORMALNE

Filtry

wszystkich: 2231
wybranych: 1055

wyczyść wszystkie filtry


Filtry wybranego katalogu

  • Kategoria

  • Rok

  • Opcje

wyczyść Filtry wybranego katalogu niedostępne

Wyniki wyszukiwania dla: JĘZYKI FORMALNE

  • Własności fotowoltaiczne układów organicznych

    Praca omawia fizyczne podstawy zjawiska fotowoltaicznego w układach organicznych oraz badania tego zjawiska prowadzone na Wydziale Fizyki Technicznej i Matematyki Stosowanej Politechniki Gdańskiej.

  • Silo music - mechanism of dynamic flow and structure interaction

    Artykuł omawia zjawisko muzyki silosowe. Wykonano pomiary dynamiczne przyspieszeń, częstotliwości i postaci drgań własnych. Zaproponowano nowa hipotezę powstawania efektów dynamicznych podczas przepływu silosowego.

  • Silo music - mechanism of dynamic flow and structure interaction

    Artykuł omawia zjawisko muzyki silosowej. Wykonano pomiary dynamiczne przyspieszeń, częstotliwości i postaci drgań własnych. Zaproponowano nowa hipotezę powstawania efektów dynamicznych podczas przepływu silosowego.

  • Brittle fracture of 100-, 110-, 111-oriented Cu crystals: MD vs. TB/MD approach

    Przeprowadzono wieloskalowe symulacje nanoindentacji miedzi nieskończenie twardym narzędziem, przy zastosowaniu metody dynamiki molekularnej, z siłami liczonymi na bieżąco w formalizmie ciasnego wiązania (TB). Przedstawiono wyniki dla trzech orientacji krystalicznych podłoża. Badano efekt dołączenia obliczeń TB na siłę normalną odczuwaną przez narzędzie i na przemieszczenia atomów podłoża, przez porównywanie z symulacją czystą...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Budowa ontologii usług dla potrzeb wyszukiwania

    Publikacja

    - Rok 2010

    Ontologie, dzięki zapewnieniu formalnego opisu przy zachowaniu czytelności dla człowieka, są coraz powszechniej stosowaną metodą opisu usług sieciowych. Zaprezentowano słownik WordNet i jego zastosowanie jako meta ontologia do opisów usług podobnych różnych dostawców. Zaproponowano algorytm oparty o ten słownik umożliwiający integrację ontologii usług w celu zapewnienia interoperacyjności rozwiązań dostępnych w sieci Internet.

    Pełny tekst do pobrania w portalu

  • The structure of rarefied and densified PbSiO3 glass: a molecular dynamics study.

    Publikacja

    - Rok 2004

    Artykuł przedstawia wyniki symulacji dynamiczno-molekularnychstruktury rozrzedzonego i zagęszczonego szkła PbSiO3 (w zakresie gęstości od 3000 kg/m3 do 8000 kg/m3). Otrzymane wyniki dokładnie przedyskutowano pod kątem blisko- i średnio-zasięgowego uporządkowania atomów i porównano ze strukturą szkła PbSiO3 o normalnej gęstości (5970kg/m3) oraz ze strukturą rozrzedzonych i zagęszczonych szkieł PbGeO3.

  • Projekt i budowa uniwersalnego sterownika programowalnego

    Artykuł opisuje projekt i realizację niskobudżetowego ale zarazem funkcjonalnego i uniwersalnego kompaktowego sterownika programowalnego PLC (ang. Programmable Logic Controller) oraz dedykowanej aplikacji narzędziowej umożliwiającej jego elastyczne oprogramowanie. Przedstawiany sterownik bazuje na jednostce centralnej w postaci 32-bitowego mikrokontrolera ARM firmy STMicroelectronics oraz wyposażony jest w standardowe peryferia...

    Pełny tekst do pobrania w portalu

  • Trust-IT - a framework for trust cases

    Publikacja

    - Rok 2007

    Artykul prezentuje wyniki uzyskane w ramach prac zmierzających do wytworzenia zintegrowanego srodowiska wspomagającego analizę zaufania do systemów i infrastruktur informatycznych. Elementy tego środowiska obejmują język i metodykę trorzenia i pielęgnacji dowodów zaufania (ang. trust case), mtode integrowania z nimi materiału dowodowego, narzędzia wspomagajace zarządzanie dowodami zaufania oraz scenariusze ich wykorzystania w różnych...

  • UWARUNKOWANIA APLIKACYJNE KONCEPCJI PUNKTÓW STEROWANIA JAKOŚCIĄ NA PRZYKŁADZIE USŁUG PRALNICZYCH

    W artykule tym zaprezentowano charakterystykę procesu w profesjonalnej pralni chemicznej. Jako cel przyjęto identyfikację i opis zasadniczych punktów sterowania jakością (PSJ) w tego typu procesach. Przedstawiono też informacje, jak działania formalizujące PSJ przełożyły się na efekty konkretnej organizacji świadczącej usługi pralnicze

    Pełny tekst do pobrania w portalu

  • Study of free convective boundary layer of isothermal lateral surface of axisymmetrical horizontal body

    Przedstawiono rozwiązanie równań Naviera-Stokesa i Fouriera-Kirchhoffa we współrzędnych tau i sigma. Pierwsza jest styczną a druga normalną do konwekcyjnych linii prądu, wzdłuż jakich porusza się ogrzany od powierzchni płyn. Wynik w postaci równania na grubość warstwy przyściennej zweryfikowano dla granicznych przypadków ciała obrotowego o poziomej osi symetrii (stożka poziomego i kołowej pionowej płyty).

    Pełny tekst do pobrania w portalu

  • Implementacja widoków danych na bazę wiedzy

    Publikacja

    - Rok 2007

    Niniejszy artykuł opisuje koncepcję i implementacjęwidoków danych na bazę wiedzy. Widoki danych przesłaniają interfejsbazy wiedzy, w zamian udostępniając interfejs pozwalający na zadawaniezapytań do bazy wiedzy w języku SQL. Głównym przeznaczeniemtakich widoków jest ułatwienie integracji komponentów opartych nawiedzy z komponentami opartymi na danych, co może uprościć budowęsystemów korzystających z bazy wiedzy. W artykule zaprezentowanajest...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Wolność przemieszczania a polityka imigracyjna Holandii

    Publikacja

    - Rok 2016

    Od 2015 r. Holandia zaproponowała wprowadzenia zmian w prawie imigracyjnym; polegają one na m. in. na karaniu imigrantów za nieprzestrzeganie holenderskich wartości, ograniczeniu dofinansowania muzułmańskich imigrantów, obowiązku nauki języka niderlandzkiego. Od 2016 r. wprowadzono zakaz noszenia burek w miejscach publicznych. Programy dla nowo przybyłych obejmują przede wszystkim aktywizację zawodową. Od 2015 r. wprowadzono restrykcyjną...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Uczenie na błędach w nauczaniu programowania w systemie e-learningu

    Publikacja

    - e-mentor - Rok 2014

    Jedną z kluczowych umiejętności, które muszą posiąść adepci programowania, stanowi umiejętność poprawiania kodu programu zawierającego błędy. Jest to działanie bardzo złożone, wymagające znajomości składni języka, rozumienia semantyki kodu, znajomości zasad testowania oraz rozumienia działania algorytmu. W artykule autor proponuje własną metodę kształtowania umiejętności poprawiania kodu programu wykorzystującą narzędzia do nauczania...

    Pełny tekst do pobrania w portalu

  • EMULACJA ŚRODOWISKA DLA ZASTOSOWANIA PROTOKOŁU IN-BAND NETWORK TELEMETRY

    Określenie jakości obsługi strumieni pakietów w sieci przełączników wymaga odpowiedniego środowiska badawczego w którym prowadzi się doświadczenia i pomiary wybranych wielkości. Protokół In-band Network Telemetry jest jednym z narzędzi, które można wykorzystać do realizacji tych zadań. W pracy zaproponowano zwirtualizowane środowisko badawcze w którym można emulować sieć przełączników programowalnych w języku P4 wraz z implementacją...

  • Integracja modelowania i implementacji oprogramowania w metodzie IMAC.

    Publikacja

    - Rok 2004

    Dotychczasowa technologia wytwarzania oprogramowania akceptuje występowanie niespójności pomiędzy modelowaniem w języku UML a implementacją w obiektowych językach programowania. Metoda IMAC zapewnia spójność przez zastosowanie jednolitej notacji graficznej w całym projekcie informatycznym. Dzięki temu implementacja zostaje sprowadzona do uszczegółowienia diagramów projektowych i wygenerowania gotowego, funkcjonalnego kodu programu....

  • Improving flexibility and performance of PVM applications by distributed partial evaluation

    A new framework for developing both flexible and efficient PVM applications is described. We propose Architecture Templates Interface (ATI) that allows to control application granularity and parallelism. To ensure high application efficiency we extend partial evaluation strategy into domain of distributed applications obtaining Distributed Partial Evaluation (DPE). Both ATI and DPE were implemented using a new distributed programming...

  • Współpraca aplikacji użytkowych.

    Publikacja

    - Rok 2002

    Praca prezentuje podstawowe problemy współpracy aplikacji w architekturze wielowarstwowej. Przedstawiono podstawowe elementy protokołu SOAP, który w połączeniu z językiem XML wydaje się rozwiązywać spotykane wcześniej trudności.

  • Analiza numeryczna i badania doświadczalne kratownicy ze stężeniami

    W niniejszej pracy przedstawione są wyniki badań eksperymentalnych i analiz numerycznych typowej kratownicy. Przeprowadzono analizę stateczności i nieliniową analizę statyczną dla modelu prętowego konstrukcji. Przedstawione zostały zależności między sztywnością stężeń, a siłą normalną w pasie ściskanym kratownicy odpowiadającą obciążeniu wyboczeniowemu. Wyznaczone zostały również siły w stężeniu powstające na skutek przyrostu obciążenia...

  • Intercorrelation between CPTU-DMT tests for sands on the Baltic coast

    Publikacja

    Na podstawie badań terenowych opracowano szereg zależności między parametrami uzyskanymi z badania CPTU i DMT w czystych piaskach kwarcowych na Wybrzeżu Bałtyku. Uwzględniono wpływ historii geologicznej złoża oraz prekonsolidacji. Przedstawiono zależności dla piasków normalnie konsolidowanych i prekonsolidowanych. Prekonsolidacja i historia geologiczna bardziej wpływają na wyniki badania DMT niż CPTU. Zaproponowano oszacowanie...

  • ENTERPRISE ACTIVITIES MODELING BY BPMN NOTATION

    Depending on the process behavior, available know-how and organizational goals, different techniques and tools can be used for business process modeling. We concentrate on e-commerce, and try to find the best marketing strategy for the sales process improvement. In the paper we present the multilayer approach to define enterprise scenarios. This allows us to collect the suitable knowledge necessary for enterprise analysis and improvement....

    Pełny tekst do pobrania w portalu

  • Manifesty urbanistyczne. W poszukiwaniu współczesnego modelu miasta

    Publikacja

    - Rok 2017

    Przypominane w tym tomie manifesty urbanistyczne powstały w odpowiedzi na „szok urbanizacyjny” XIX i początku XX wieku, kiedy problemy wyrosłe z nienotowanego nigdy wcześniej wzrostu miast odsunęły na bardzo daleki plan wcześniejsze rozwiązania geometryczne jako nieadekwatne do palących problemów społecznych, ekonomicznych, technicznych i środowiskowych. Wizje miast zaczęli budować nie tylko, a może nawet nie przede wszystkim,...

    Pełny tekst do pobrania w portalu

  • Molecular picture of hydroxide anion hydration in aqueoussolutions studied by FT-IR ATR spectroscopy

    Hydratacja anionu hydroksylowego w wodnych roztworach wodorotlenków metali alkalicznych (LiOH, NaOH, KOH) została zbadana metodą spektroskopii oscylacyjnej FT-IR całkowitego wewnętrznego odbicia (ATR). Widma oscylacyjne wody dostarczają cennych informacji na temat stanu strukturalnego cząsteczek wody w sferach hydratacyjnych, wynikających ze sprzężeń oscylatorów w układzie. Wykazano, że drganie normalne rozciągające cząsteczki...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • A performance-oriented risk-based method for safety assessment of ships

    Publikacja

    - Rok 2005

    W pracy przedstawiono wybrane informacje na temat metody oceny bezpieczeństwa statków w warunkach krytycznych. Metoda łączy podejście oparte na ocenie osiągów statku z podejściem opartym o ocenę ryzyka wypadku. Analiza ryzyka w metodzie oparta jest na zastosowaniu elementów Formalnej Oceny Bezpieczeństwa FSA. Analiza ryzyka w metodzie dotyczy: identyfikacji zagrożeń, oceny zagrożeń, identyfikacji scenariuszy wypadku, oceny ryzyka,...

  • Safety assessment of ships in critical conditions using a knowledge-based system for design and neural network system

    Publikacja

    - Rok 2005

    W pracy opisano wybrane elementy metody oceny bezpieczeństwa statków w stanie uszkodzonym, ukierunkowanej na ocenę osiągów statku i ocenę ryzyka. Metoda analizy osiągów i zachowania się statku w stanie uszkodzonym została wykorzystana do oceny charakterystyk hydromechanicznych statku uszkodzonego. Do oceny ryzyka wykorzystano elementy metodyki Formalnej Oceny Bezpieczeństwa. System ekspertowy został wykorzystany do analziy podziału...

  • Completeness and Consistency of the System Requirement Specification

    Although the System Requirement Specification, as a first formal and detailed document, is the base for the software project in classic software methodologies, there is a noticeable problem of assuring the completeness of this document. The lack of its completeness causes uncertainty of the project foundations. This was one of motivations for agile methodologies – if the SRS cannot be easily validated, if it can change in late project...

    Pełny tekst do pobrania w portalu

  • Ontologiczna inżynieria wiedzy

    Publikacja

    - Nierówności Społeczne a Wzrost Gospodarczy - Rok 2015

    Ontologiczna inżynieria wiedzy jest dobrą podstawą metodologiczną, a ontologie dziedzin przedmiotowych ważnym elementem konstrukcyjnym semantycznych systemów reprezentacji wiedzy. W artykule omówiono budowanie ontologii w oparciu o edytor ontologii FluentEditor i język CNL (Controlled Natural Language). Przykładową ontologię dotyczącą fragmentu procesu produkcji rolniczej wykorzystano do budowy semantycznej bazy wiedzy. W tym celu...

    Pełny tekst do pobrania w portalu

  • Modele semantyczne wymiany informacji o stanie systemu elektroenergetycznego

    Publikacja

    Zaprezentowano Common Information Model CIM opracowany w Electric Power Research Institute EPRI w USA. Model ten wypełnia brak uniwersalnego języka opisu topologii i stanu sieci elektroenergetycznej. Stworzony został na potrzeby integracji narzędzi stosowanych przez podmioty sektora elektroenergetycznego. CIM wykorzystuje RDF Schema Definition (RDFS) i RDF. Na tle tego standardu przedstawiono własny zestaw pojęć mapujący meta-ontologię...

    Pełny tekst do pobrania w portalu

  • Zdalne monitorowanie obiektów wyposażonych w instalację KNX

    W artykule przedstawiono ideę i możliwości techniczne zdalnego monitorowania elementów instalacji elektrycznych wykonanych w standardzie KNX. Pokazano przykłady istniejących rozwiązań komercyjnych oraz ich ograniczenia. Zaprezentowano prototyp aplikacji opracowanej dla systemu Windows w języku C#, wykorzystującej bibliotekę Falcon do komunikacji z magistralą KNX. Umożliwia ona nadzór za pośrednictwem przeglądarki internetowej nad...

    Pełny tekst do pobrania w portalu

  • Razem i osobno

    Publikacja

    - Rok 2009

    Katalog ilustrujący roczną działalność galerii BWA w Lublinie. Opisuje wystawy, które miały miejsce w galerii Labirynt w 2008 roku (m. in. wystawę "Razem i osobno" J. Buczkowskiego, K. Wróblewskiego i Z. Pidka).Katalog liczy 84 strony i zawiera teksty krytyczne w języku polskim i angielskim oraz 123 kolorowe reprodukcje prac artystów (prace autorów s. 59). Wydawcą katalogu jast Biuro Wystaw Artystycznych w Lublinie ISBN: 978-83-927473-4-5.

  • Algorytmy ewolucyjne w projektowaniu sieci MPLS

    Niniejszy artykuł opisuje zrealizowane narzędzie, które umożliwia projektowanie sieci MPLS za pomocą Algorytmów Ewolucyjnych. Narzędzie to generuje ścieżki i optymalizuje alokację na nich przepływności żądań zapotrzebowań z uwzględnieniem klas obsługi strumieni ruchu z gwarancją zróżnicowanego QoS. Może także wybierać ścieżki do alokacji spośród danych wejściowych tak, aby wykorzystanie sieci było optymalne. Narzędzie to zostało...

  • Internet as a new platform for delivery of microwave CAD services.

    Publikacja

    Zaprezentowano aplikację przeznaczoną do syntezy filtrów rezonatorowych, która jest realizacją nowego sposobu myślenia związanego z rewolucją usług internetowych, które charakteryzują się niskim kosztem tworzenia oraz szybką i bezpieczną dystrybucją. Opisano stworzoną wielowarstwową aplikację, która gwarantuje łatwy, bezpieczny oraz ograniczony dostęp do aplikacji dla szerokiego kręgu osób. Zawarto w niej algorytm szybkiej syntezy...

  • The cartographer algorithm for processing and querying description logics ontologies

    Publikacja

    - Rok 2005

    Logika opisowa jest jednym z najbardziej popularnych formalizmów opisu wiedzy. Jej popularność jeszcze wzrosła kiedy pojawił się standard języka OWL. W artykule zaprezentowano nowy algorytm wnioskowania - algorytm kartograficzny - umożliwiający wnioskowanie niejawnie podanej wiedzy z terminologii (TBox) i opisu świata (ABox). Opisano sposób przetwarzania ontologii w terminach sygnatur binarnych i efektywny sposób odpytywania ontologii...

  • Conformance testing of parallel languages

    Przedstawiono propozycję formalizacji opisu procesu generacji, wykonania ioceny testów zgodności dla języków i bibliotek programowania równoległego, wzakresie zgodności funkcjonalnej i wydajnościowej. Przykłady ilustrujące proponowany formalizm wykorzystują platformę programowania Athapascan.

  • Musical Metadata Retrieval with Flow Graphs, in Rough Sets and Current Trends in Computing.

    Publikacja

    W pracy opisano metody wyszukiwania muzyki w Internecie w oparciu o opis semantyczny. W eksperymentach wykorzystano opis muzyczny stosowany w bazie CDDB. Zaprezentowano metodę grafów przepływowych zaproponowaną przez Pawlaka.

  • Application of Ontology In the ITIL Domain

    Publikacja

    Business standards tend to be less formal in description then strict technical norms. Authors of this chapter suggest applying ontological description (powered by the capabilities of the OWL language) to express Information Technology Infrastructure Library (ITIL). One of the goals of this initial study is to determine the usefulness of such semantic model in organizations that adopted or plan to adopt ITIL.

  • Variacionnye metody

    Publikacja
    • J. Glazunov

    - Rok 2006

    Monografia zawiera metody wariacyjne dla rozwiązywania zadań fizyki matematycznej. Rozwiązane zastałe odwrotne zagadnienie rachunku wariacyjnego dla nieliniowych równań różniczkowych. Zbudowana jedyną teorię takich zadań dla liniowych i nieliniowych równań różniczkowych.

  • Wpływ zużycia opony samochodowej na jej opór toczenia

    W pracy przedstawiono wpływ zużycia opony samochodowej na jej opór toczenia. Zużycie czterech opon testowych uzyskano podczas normalnej eksploatacji, natomiast zużycie sześciu pozostałych uzyskano sztucznie przez zeszlifowanie czoła bieżnika papierem ściernym na specjalnej szlifierce. Pomiary oporu toczenia wykonano na bębnowej maszynie bieżnej metodą momentową. Wyniki tych pomiarów przedstawiono w formie zależności współczynnika...

    Pełny tekst do pobrania w portalu

  • A Generative Approach to Hull Design for a Small Watercraft

    In the field of ocean engineering, the task of spatial hull modelling is one of the most complicated problems in ship design. This study presents a procedure applied as a generative approach to the design problems for the hull geometry of small vessels using elements of concurrent design with multi-criteria optimisation processes. Based upon widely available commercial software, an algorithm for the mathematical formulation of...

    Pełny tekst do pobrania w portalu

  • Eliminacja wyższych harmonicznych prądu za pomocą filtrów poprzecznych

    Publikacja

    W artykule przedstawiono sposób i skutecznośc eliminacji wyższych harmonicznych prądu w sieci elektroenergetycznej za pomoca filtrów poprzecznych LC. Zaprezentowano wyniki symulacji komputerowych wpływu prostownika 6-pulsowego w stanie pracy normalnej na jakosć energii elektrycznej w elektroenergetycznej sieci zasilającej.Przedstawiono przykładowe przebiegi napięć i prądów oraz analizę zawartości wyższych harmonicznych w sieci...

  • Recent developments in automatic classification of musical instruments. W:[CD-ROM] Collected papers. First Pan-American/Iberian Meeting on Acoustics. 144 Meeting of the Acoustical Society of America. III Iberoamerican Cong- ress of Acoustics. 9o Mexican Congress of Acoustics. Cancun, Q. R. M‚xico, 2-6 Dec. 2002. [B.m.:ASA]**2002 paper 2aMU4, 7 s. 6 rys. 1 tab. bibliogr. 21 poz. Automatyczne rozpoznawanie muzyki - przykłady eksperymentów.

    Publikacja

    - Rok 2002

    W referacie dokonano przeglądu aktualnego stanu badań w dziedzinie automaty-cznego rozpoznawania muzyki. Przedstawiono też eksperymenty prowadzone aktu-alnie w Katedrze Dźwięku i Obrazu PG. Prace te dotyczyły rozpoznawania klasinstrumentów muzycznych i separacji duetów muzycznych. Pokazano przykładowewyniki i przedstawiono projekt prac do zrealizowania w przyszłych ekspery-mentach.

  • Monitorowanie procesu wytwarzania oprogramowania z wykorzystaniem hierarchii agentów typu Web Farming.

    Publikacja

    W artykule przedstawiono zastosowanie technologii Web Farming do procesów zarządzania projektami informatycznymi w firmie komputerowej. Idea polega na nadzorowaniu przebiegu projektu w tle poprzez agentów uruchomionych na komputerach uczestników projektu. W celu zdefiniowania procesu, zwanego procesem SoFar, proponuje się język PMDL, który będzie podstawą także do generowania kodu agentów. Przedstawiono możliwości zastosowania...

  • Towards automation of IT systems repairs

    Publikacja

    - SOFTWARE QUALITY JOURNAL - Rok 2016

    Monitoring and repair are two sides of the on-the-fly maintenance of IT systems.Monitoring is well supported by automatic tools. In contrast, repairs involve much higherhuman intervention which negatively affects reliability and efficiency. The paper intro-duces a method of automating repairs of IT systems which can be integrated with any ofthe existing monitoring mechanisms. The method is described as a collection of modelsand...

    Pełny tekst do pobrania w portalu

  • Komputerowy system pomiarowy do diagnostyki łożysk

    W artykule przedstawiono komputerowy system do diagnostyki łożysk silników indukcyjnych metodą pomiaru i analizy mocy chwilowej pobieranej przez badane maszyny. Do realizacji oprogramowania systemu pomiarowego wybrano środowisko programowania w języku graficznym LabVIEW. Opracowane oprogramowanie umożliwia analizę, archiwizację i wizualizację danych uzyskanych z pomiarów mocy chwilowej, pobieranej przez badane silniki indukcyjne,...

    Pełny tekst do pobrania w portalu

  • Les Lumieres contre la torture et la peine de mort

    Publikacja

    - Orbis Linguarum - Rok 2016

    Artykuł napisany jest w języku francuskim. Jego tytuł w polskim tłumaczeniu brzmi: "Oświecenie wobec tortur i kary śmierci". Artykuł ten dotyczy stanowiska Woltera, Monteskiusza oraz Beccari wobec nadużyć systemu prawnego przedrewolucyjnej Francji. Analizuje on ich krytyczne stanowisko wobec tych nadużyć i bada filozoficzne teorie, jakimi posługują się Wolter i Monteskiusz w celu zniesienia tortur, oraz Beccaria, który nie tylko...

    Pełny tekst do pobrania w portalu

  • Gazetteer compression technique based on substructure recognition

    Publikacja

    - Rok 2006

    Automaty skończone są najlepszą formą reprezentacji słowników do przetwarzania języka naturalnego. Przedstawiamy nową technikę kompresji, która jest szczególnie użyteczna w stosunku do pewnego rodzaju słowników. Zastępujemy wielokrotnie występujące podstruktury ich niepowtarzalnymi reprezentantami. Do ich znalezienia traktujemy wektor przejść jako tekst i stosujemy technikę kompresji tekstu w stylu Ziv-Lempel, która znajduje powtórzenia...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Wstęp do metod numerycznych

    Publikacja

    - Rok 2014

    Metody numeryczne to bez wątpienia jedno z najważniejszych narzędzi w rękach inżyniera czy fizyka. W skrypcie przedstawione zostały najistotniejsze własności wybranych metod numerycznych, działanie każdej z nich przystępnie zaprezentowano na przykładach. Rozdział 1 zawiera podstawowe informacje dotyczące błędów obliczeń wykonywanych na maszynie cyfrowej. W rozdziale 2 omówiono metody służące do rozwiązywania równań nieliniowych...

  • Extraction of music information based on artifical neutral networks

    Publikacja

    - Rok 2003

    W artykule przedstawiono założenia systemu automatycznego rozpoznawania muzyki. Na podstawie przeprowadzonych eksperymentów w artykule przedstawiono efektywność zaimplementowanych algorytmów w zależności od sposobu opisu danych muzycznych. Zaimpementowany system jest oparty o sztuczne sieci neuronowe.

  • Syntheses and structures of the first terminal phosphanylphosphido complexes of molybdenum(IV)

    The reactions of R2P-P(SiMe3)Li (R = tBu, iPr2N) with [Cp2MoCl2] yield terminal phosphanylphosphido complexes formally via the insertion of the phosphinidene P-atom into the C - H bond of a cyclopentadienyl ring and the migration of the hydrogen atom or SiMe3 moiety to the molybdenum centre. Solid state structures of [Cp(C5H4P-PtBu2)MoH], [Cp(C5H4P-PtBu2)Mo(SiMe3)] and [Cp{C5H4P-P(NiPr2)2}Mo(SiMe3)] were established by single crystal...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Domy - wewnętrzne krajobrazy.

    Publikacja

    - Rok 2002

    Przestrzenna redefinicja domu stanowi dziś jeden z wątków dyskusji ze zdeterminowanym wyrazem formalnym architektury i hermetycznością miejsca. Coraz częściej akcentowana jest potrzeba elastyczności domu i jego otwarcia na świat zewnętrzny. Jego przestrzeń wewnętrzna kształtowana jest coraz częściej jako ewoluujący ciągu sekwencji kompozycyjnych, formowany na wzór krajobrazu i poszukujący do niego odniesień. Domy stają się...

  • Strategiczne zagadnienia tworzenia i funkcjonowania sieci tymczasowych

    W artykule przedstawiano wyniki badań zagadnień charakteryzujących tworzenie i funkcjonowanie sieci tymczasowych, tj. sieci, które są organizowane w celu realizacji dużych, złożonych przedsięwzięć gospodarczych, najczęściej kosztownych i przekraczających możliwości realizacyjne jednego przedsiębiorstwa i które są powołane na określony okres czasu. Skupiono się nad strategicznymi zagadnieniami tworzenia i funkcjonowania tych sieci,...

    Pełny tekst do pobrania w portalu