Filters
total: 1879
filtered: 1113
-
Catalog
- Publications 1113 available results
- Journals 25 available results
- Conferences 16 available results
- People 51 available results
- Inventions 1 available results
- Projects 2 available results
- Research Teams 2 available results
- e-Learning Courses 599 available results
- Open Research Data 70 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: MINIMIZATION OF AUTOMATA
-
Języki formalne, automaty i translatory
PublicationKsiąż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...
-
MPPT control - a way to the maximization of energy amount obtained from the PV module
PublicationW układzie MPPT (Maximum Power Point Tracking) poziom mocy maksymalnej jest dynamicznie śledzony dla różnych poziomów napromieniowania i temperatur przy użyciu pamięci, zaprojektowanej jako sterowany mikroprocesorem moduł. Zastosowany algorytm w sposób ciągły poszukuje maksymalnej wartości mocy podawanej ze źródła (modułów PV) oraz pobieranej przez obciążenie. Napięcie wyjściowe z układu MPPT zależy od aktualnych warunków, w jakich...
-
Expectation-Maximization Model for Substitution of Missing Values Characterizing Greenness of Organic Solvents
PublicationOrganic solvents are ubiquitous in chemical laboratories and the Green Chemistry trend forces their detailed assessments in terms of greenness. Unfortunately, some of them are not fully characterized, especially in terms of toxicological endpoints that are time consuming and expensive to be determined. Missing values in the datasets are serious obstacles, as they prevent the full greenness characterization of chemicals. A featured...
-
Two-dimensional rotation-symmetric number-conserving cellular automata
Publication -
Extension of selected ADFA construction algorithms to the case of cyclic automata.
PublicationW niedawnym artykule Rafael Carrasco i Mikel Forcada przedstawiają przyrostowy algorytm dodawania słów do minimalnego, acyklicznego automatu skończonego. Ten algorytm jest uogólnieniem przyrostowego algorytmu tworzenia acyklicznych deterministycznych automatów skończonych (ADFAs). Przedstawiamy podobne uogólnienia dwóch innych algorytmów tworzenia ADFAs. Chociaż te ougólnienia zostały już opublikowane w maju i czerwcu 2004 r.,...
-
Protein structure prediction with the UNRES force-field using Replica-Exchange Monte Carlo-with-Minimization; Comparison with MCM, CSA, and CFMC
Publication -
Maximization of multicast periodic traffic throughput in multi-hop wireless networks with broadcast transmissions
Publication -
Building a Nest by an Automaton
PublicationA robot modeled as a deterministic finite automaton has to build a structure from material available to it. The robot navigates in the infinite oriented grid $Z x Z$. Some cells of the grid are full (contain a brick) and others are empty. The subgraph of the grid induced by full cells, called the {\em field}, is initially connected. The (Manhattan) distance between the farthest cells of the field is called its {\em span}. The robot...
-
Automaty jako narzędzia w przetwarzaniu języka
PublicationRozdział zawiera definicję, notację i chcarakterystykę automatów oraz algorytmy ich przekształcania, umożliwiające ich skuteczne wykorzystanie w przetwarzaniu języka.
-
Uniwersalny automat do układania rozkładów zajęć.
PublicationW atrykule został opsany uniwersalny automat do układania rozkładów zajęć, dzięki któremu można tworzyć harmonogramy nawet w złożonych sytuacjach. Podany jest również wynik testów dla rzeczywistych danych.Opracowany program jest w pełni funkcjonalną aplikacją demonstrujacą mozliwości algorytmu. Program jest rozwijany i ulepszany.
-
Semi- incremental construction of minimal cyclic finite state automata usingcontinuation classes.
PublicationMinimalne automaty skończone są często wybierane do przedstawiania słowników morfologicznych języka naturalnego. Wśród ich zalet znajdują się duża szybkość rozpoznawania i małe wymagania pamięciowe. Tłumaczenie opisów morfologicznych opartych o klasy kontynuacji na minimalne, cykliczne automaty skończone jest tradycyjnie dokonywane w kilku fazach, zawierających tworzenie automatu niedeterministycznego z przejściami etykietowanymi...
-
Automatic Tracking with PTZ Cameras
Publication -
Automatic tagging of musical files
PublicationCelem niniejszej pracy jest zbadanie możliwości automatycznego tagowania utworów muzycznych z wykorzystaniem systemu śledzenia punktu fiksacji wzroku użytkownika. Badania przeprowadzono z udziałem dwudziestu osób o różnym doświadczeniu muzycznym. Zadaniem badanej osoby było wskazanie odpowiedzi na pytania zawarte w ankiecie internetowej, która pozwala na określenie cech utworów muzycznych, takich jak: tempo, dynamika, gatunek....
-
Rozmyta adaptacyjna automatyka ociążająca
Publication...
-
Automated network control and supervision
PublicationPrzedstawiono ogólne problemy związane z postępem w zakresie integracji systemów informatycznych w elektroenergetyce. Podano zasady budowy struktury systemów sterowania i nadzoru.
-
State of the Art of Automated Buses
PublicationUrban transportation in the next few decades will shift worldwide towards electrification and automation, with the final aim of increasing energy efficiency and safety for passengers. Such a big change requires strong collaboration and efforts among public administration, research and stakeholders in developing, testing and promoting these technologies in the public transportation. Working in this direction, this work provides...
-
Size and mass minimization of capacitor bank in a power converter DC line of DC drive with closed loop control system with PWM and current limitation
PublicationPaper deals with evaluation equations for power filter of AC-DC power converter which allows to provide size and mass minimization of capacitor bank in DC drive closed loop systems with PWM and current limitation. Reliability of provided equations is proved by simulation in MATLAB/Simulink
-
Multicast Traffic Throughput Maximization through Dynamic Modulation and Coding Scheme Assignment in Wireless Sensor Networks
Publication -
Comparison of construction algorithms for minimal, acyclic, deterministicfinite state automata from sets of strings.
PublicationArtykuł porównuje różne metody tworzenia minimalnych, acyklicznych, deterministycznych automatów skończonych ze zbiorów słów. Wdrożone i porównane zostały metody przyrostowe, prawie przyrostowe i nieprzyrostowe.
-
The method of quantitative automatic metallographic analysis
Publication -
Automatic Analysis of Trajectories of Moving Objects
PublicationOngoing monitoring is essential to providing security and safety of maritime and air operations. This paper presents the research in the area of automatic analysis of movement of unrestricted vehicles like ships and air-planes. The analysis is aimed at extraction of trajectory information, and the results can be used to identify anomalous behaviour in archived and real-time data. In this paper we focus on data acquired using the...
-
Automated Design of Linear Phase Filters
PublicationThis paper presents a fast technique for an automated design of microwave filters with linear phase. The proposed method exploits the cost function defined using the location of complex zeros and poles of the filter’s transfer and reflection function. The effectiveness of the proposed technique is presented with two illustrative examples.
-
Elektroenergetyczna automatyka zabezpieczeniowa farm wiatrowych
PublicationKsiążka prezentuje zagadnienia związane z elektroenergetyczną automatyką zabezpieczeniową farm wiatrowych. Przedstawiono zasady doboru zabezpieczeń sieci farmy wiatrowej (w tym przekładników zabezpieczeniowych) oraz elementów systemu elektroenergetycznego przylegających do farmy wiatrowej. Rozważania powyższe poparto przykładem doboru zabezpieczeń, nastaw zabezpieczeń, przekładników prądowych i napięciowych zabezpieczeniowych dla...
-
Automated Reduced Model Order Selection
PublicationThis letter proposes to automate generation of reduced-order models used for accelerated -parameter computation by applying a posteriori model error estimators. So far,a posteriori error estimators were used in Reduced Basis Method (RBM) and Proper Orthogonal Decomposition (POD) to select frequency points at which basis vectors are generated. This letter shows how a posteriori error estimators can be applied to automatically select...
-
Text classifiers for automatic articles categorization
PublicationThe article concerns the problem of automatic classification of textual content. We present selected methods for generation of documents representation and we evaluate them in classification tasks. The experiments have been performed on Wikipedia articles classified automatically to their categories made by Wikipedia editors.
-
Improving automatic surveillance by sound analysis
PublicationAn automatic surveillance system, based on event detection in the video image can be improved by implementing algorithms for audio analysis. Dangerous or illegal actions are often connected with distinctive sound events like screams or sudden bursts of energy. A method for detection and classification of alarming sound events is presented. Detection is based on the observation of sudden changes in sound level in distinctive sub-bands...
-
Automatic feature extraction for linear systems.
PublicationPraca przedstawia eksperymenty pokazujące istnienie uniwersalnego ekstraktora cech dla ograniczonego obszaru w przestrzeni parametrów systemu liniowego. System liniowy pobudzony był szumem o rozkładzie normalnym na wejściu. Zastosowano ewolucyjne metody poszukiwania ekstraktora w oparciu o jakość klasyfikacji sygnałów w dziedzinie cech wydobytych przez ekstraktor.
-
Automatic evaluation of sound separation quality
PublicationW publikacji tej opisano problem oceny efektywności algorytmów separacji dźwięków muzycznych. Standardowa procedure służąca do takiej oceny nie istnieje. Najbardziej uzasadnionym podejściem wydają się być odsłuchowe testy subiektywne. Niemniej, aby taka ocena była wartościowa, niezbędna jest porządna walidacja statystyczna wyników, co oznacza iż grupa ekspertów powinna być duża oraz właściwości akustyczne pomieszczenia. Ponadto...
-
Automatic classification of singing voice quality
PublicationW artykule przedstawiono zagadnienia związane z automatyczną klasyfikacją jakości i rodzajów głosów śpiewaczych. Na potrzebę takiej klasyfikacji stworzono bazę głosów śpiewaczych, w której dokonano parametryzacji nagrań samogłosech śpiewanych przez różnych wokalistów (zarówno profesjonalistów jak i amatorów) na różnych wysokościach i z różną głośnością. W celu ograniczenia wymiaru wektora opisu zastosowano statystykę Behrensa Fishera...
-
Automated CAD of coupled resonator filters
PublicationGradientowa metoda optymalizacji wraz z nową definicją funkcji celu opartą na rozkładzie biegunów oraz zer funkcji transmitancji obwodu, została zastosowana do pełnofalowej syntezy filtrów falowodowych pasmowo-przepustowych. Ekstrakcja biegunów wykonywana jest w oparciu metodę Cauchyłego. Przestawiona technika pozwana na znalezienie wymiarów geometrycznych struktur filtrujących o zadanej topologii bez konieczności wcześniejszej...
-
Automatic retrieval of musical rhythmic patterns.
PublicationObecnie stosowane technologie pozwalają na wyszukiwanie muzyki w zasobach Internetowych w oparciu o reprezentację melodyczną. W referacie przedstawiono problemy związane z wyszukiwaniem cech rytmicznych utworów muzycznych i pokazano stosowane metody umożliwiające automatyczne określanie rytmu.
-
System for automatic singing voice recognition
PublicationW artykule przedstawiono system automatycznego rozpoznawania jakości i typu głosu śpiewaczego. Przedstawiono bazę danych oraz zaimplementowane parametry. Algorytmem decyzyjnym jest algorytm sztucznych sieci neuronowych. Wytrenowany system decyzyjny osiąga skuteczność ok. 90% w obydwu kategoriach rozpoznawania. Dodatkowo wykazano przy pomocy metod statystycznych, że wyniki działania systemu automatycznej oceny jakości technicznej...
-
Automatic sound recognition for security purposes
PublicationIn the paper an automatic sound recognition system is presented. It forms a part of a bigger security system developed in order to monitor outdoor places for non-typical audio-visual events. The analyzed audio signal is being recorded from a microphone mounted in an outdoor place thus a non stationary noise of a significant energy is present in it. In the paper an especially designed algorithm for outdoor noise reduction is presented,...
-
Tools for Automatic Wound Healing Evaluation
PublicationFinal results of the research project devoted to development of a new objective and quantitative method of post cardiosurgery wound healing diagnostics, already preliminary discussed at the QIRT 2014 Conference, is presented. We assumed that thermal processes should be effective in subtle description of temporal changes of tissue thermal properties after surgical interventions. To prove this assumption more than 400 patients after...
-
Towards automatic classification of Wikipedia content
PublicationArtykuł opisuje podejście do automatycznej klasyfikacji artykułów w Wikipedii. Przeanalizowane zostały reprezentacje tekstu bazujące na treści dokumentu i wzajemnych powiązaniach. Przedstawiono rezultaty zastosowania klasyfikatora SVM.
-
Automatic audio-visual threat detection
PublicationThe concept, practical realization and application of a system for detection and classification of hazardous situations based on multimodal sound and vision analysis are presented. The device consists of new kind multichannel miniature sound intensity sensors, digital Pan Tilt Zoom and fixed cameras and a bundle of signal processing algorithms. The simultaneous analysis of multimodal signals can significantly improve the accuracy...
-
Automated Reasoning Based User Interface
PublicationMotivation: The ability to directly trace how requirements are implemented in a software system is crucial in domains that require a high level of trust (e.g. medicine, law, crisis management). This paper describes an approach that allows a high level of traceability to be achieved with model-driven engineering supported by automated reasoning. The paper gives an introduction to the novel, automated user interface synthesis in...
-
Zastosowanie automatu komórkowego do przepływu materiałów sypkich w silosach
PublicationW pracy przedstawiono możliwość zastosowania aparatu komórkowego do modelowania przepływów silosowych. Wykonano obliczenia dwu- i trójwymiarowe dla różnych rodzajów wkładek silosowych, ścianek szorstkich i gładkich, różnych kształtów silosu, różnej ilości komórek oraz schematów migracji. Obliczenia numeryczne porównano z wynikami doświadczeń.
-
AUTOMATED SYSTEM FOR FLUCTUATION ENHANCED GAS SENSING
PublicationResistance gas sensors exhibit random phenomena (resistance noise) which can be utilized to improve gas sensitivity and selectivity. That new emerging technique has to be investigated to recognize optimal parameters for gas detection. It means that a measurement system has to have ability of numerous parameters adjustment (e.g., sampling frequency, heater voltage, polarization current, voltage noise amplification). That fact induced...
-
Automatic cuts for magnetic scalar potential formulations
Publication -
Alternative shaper: a model for automatic design generation
Publication -
Multimodal English corpus for automatic speech recognition
PublicationA multimodal corpus developed for research of speech recognition based on audio-visual data is presented. Besides usual video and sound excerpts, the prepared database contains also thermovision images and depth maps. All streams were recorded simultaneously, therefore the corpus enables to examine the importance of the information provided by different modalities. Based on the recordings, it is also possible to develop a speech...
-
Automatic Classification of Polish Sign Language Words
PublicationIn the article we present the approach to automatic recognition of hand gestures using eGlove device. We present the research results of the system for detection and classification of static and dynamic words of Polish language. The results indicate the usage of eGlove allows to gain good recognition quality that additionally can be improved using additional data sources such as RGB cameras.
-
Content-Based Approach to Automatic Recommendation of Music
PublicationThis paper presents a content-based approach to music recommendation. For this purpose, a database which contains more than 50000 music excerpts acquired from public repositories was built. Datasets contain tracks of distinct performers within several music genres. All music pieces were converted to mp3 format and then parameterized based on MPEG-7, mel-cepstral and time-related dedicated parameters. All feature vectors are stored...
-
An automated aystem for analysis of mouse movement activity
Publication.
-
Automatyka odciążająca wykorzystująca elementy logiki rozmytej.
PublicationW referacie przedstawiono nowy algorytm automatyki odciążającej oparty na elementach logiki rozmytej. Zastosowanie układu Rozmytej Adaptacyjnej Automatyki Odciążającej (RAAO). Zaletą układu RAAO jest możliwość wyłączania dowolnej liczby grup odbiorów, objętych działaniem automatyki odciążającej, w dowolnej fazie procesu odciążania. Dzięki takiemu rozwiązaniu uzyskano znaczną poprawę zarówno skuteczności jak i jakości procesu odciążania....
-
Application of Soft Computing to Automatic Music Information.
PublicationArtykuł przedstawia problemy związane z automatyczną klasyfikacją instrumentów muzycznych. Przedstawiono w nim przegląd metod, które moga służyć temu celowi oraz przykłady eksperymentów.
-
Automatic system of constructions corrosion risk assessment
PublicationPrzedstawiony został system pomiaru szybkości korozji pracujący w przemysłowej instalacji wodnej. Mierzone wartości szybkości korozji przesyłane są za pomocą telefonii komórkowej (GPRS) co umożliwia obserwację wyników on-line. Zastosowanie tego rodzaju systemu pozwala na wykonywanie pomiarów korozyjnych umożliwiających kontrolę instalacji w sposób ciągły.
-
Recent developments in automatic classification of musical instruments
PublicationW referacie dokonano przeglądu aktualnego stanu badań w dziedzinie automatycznego rozpoznawania muzyki. Przedstawiono też eksperymenty prowadzone aktualnie w Katedrze Dźwięku i Obrazu PG. Prace te dotyczyły rozpoznawania klas instrumentów muzycznych i separacji duetów muzycznych. Pokazano przykładowe wyniki i przedstawiono projekt prac do zrealizowania w przyszłych eksperymentach.
-
Automated anonymization of sensitive data on production unit
PublicationThe article presents an approach to data anonymization with the use of generally available tools. The focus is put on the practical aspects of using open-source tools in conjunction with programming libraries provided by suppliers of industrial control systems. This universal approach shows the possibilities of using various operating systems as a platform for process data anonymization. An additional advantage of the described...