Filtry
wszystkich: 25299
-
Katalog
- Publikacje 20204 wyników po odfiltrowaniu
- Czasopisma 41 wyników po odfiltrowaniu
- Konferencje 16 wyników po odfiltrowaniu
- Wydawnictwa 5 wyników po odfiltrowaniu
- Osoby 723 wyników po odfiltrowaniu
- Wynalazki 88 wyników po odfiltrowaniu
- Projekty 278 wyników po odfiltrowaniu
- Laboratoria 18 wyników po odfiltrowaniu
- Zespoły Badawcze 41 wyników po odfiltrowaniu
- Aparatura Badawcza 8 wyników po odfiltrowaniu
- Kursy Online 1950 wyników po odfiltrowaniu
- Wydarzenia 599 wyników po odfiltrowaniu
- Dane Badawcze 1328 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: automata na drzewach
-
JOURNAL OF AUTOMATED REASONING
Czasopisma -
Analysis of elementary cellular automata using the theory of conflict
PublikacjaThe paper contains decomposition of elementary cellular automata (ECA in short) to subsystems that are defined according to a new theory called theory of conflict (ToC in short). The decomposition is a completely new approach to analysis of ECA and complex systems in general.
-
Incremental and Semi-Incremental Construction of Pseudo-Minimal Automata
PublikacjaPrzedstawione zostają modyfikacje trzech algorytmów przyrostowego i półprzyrostowego tworzenia automatów minimalnych w taki sposób, aby tworzyły automaty pseudominimalne. Istniejący od dawna algorytm Revuza tworzy takie automaty szybciej i zużywając mniej pamięci, ale wymaga kłopotliwego sortowania. Nie nadaje się też do dodawania nowych słów do automatu - ważnej czynności w realizacji dynamicznej doskonałej funkcji mieszającej....
-
Finite automata for compact representation of language models in NLP
PublikacjaPrzedstawiona zostaje technika reprezentacji modeli języka w przetwarzaniu języka naturalnego wymagająca mało pamięci. Po krótkim omówieniu przyczyn poszukiwania oszczędnej reprezentacji takich modeli języka, pokazane jest, jak automaty skończone mogą być użyte w tym celu. Technika może być postrzegana jako zastosowanie i rozszerzenie doskonałej funkcji mieszającej z wykorzystaniem automatów skończonych. Pierwsze doświadczenia...
-
Incremental and pseudo-incremental construction of pseudo-minimal automata.
PublikacjaAutomaty pseudominimalne mają dla każdego słowa w języku automatu co najmniej jeden element własny (stan lub przejście), który nie jest współdzielony z żadnym innym słowem. Przedstawiamy przyrostowe i półprzyrostowe algorytmy tworzenia takich automatów.
-
Lower bound on the paired domination number of a tree
PublikacjaW pracy przedstawione jest ograniczenie dolne dla liczby dominowania parami oraz scharakteryzowane są wszystkie drzewa ekstremalne.
-
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...
-
Romanian Journal of Information Technology and Automatic Control-Revista Romana de Informatica si Automatica
Czasopisma -
Two-dimensional rotation-symmetric number-conserving cellular automata
Publikacja -
Extension of selected ADFA construction algorithms to the case of cyclic automata.
PublikacjaW 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.,...
-
Building a Nest by an Automaton
PublikacjaA 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
PublikacjaRozdział 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ęć.
PublikacjaW 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.
-
AUTOMATIC CONTROL AND COMPUTER SCIENCES
Czasopisma -
Automatic Documentation and Mathematical Linguistics
Czasopisma -
Grafo-ania, czyli rzecz o grafach i algorytmach. Drzewa Steinera
PublikacjaProblem: na płaszczyźnie leżą 3 punkty. Znajdź czwarty, taki że jego sumaryczna odległość od 3 pozostałych jest minimalna, Pokazujemy jak rozwiązać ten problem i jego uogólnienie.
-
Automatic music set organizatio based on mood of music / Automatyczna organizacja bazy muzycznej na podstawie nastroju muzyki
PublikacjaThis work is focused on an approach based on the emotional content of music and its automatic recognition. A vector of features describing emotional content of music was proposed. Additionally, a graphical model dedicated to the subjective evaluation of mood of music was created. A series of listening tests was carried out, and results were compared with automatic mood recognition employing SOM (Self Organizing Maps) and ANN (Artificial...
-
Cyclic voltammetry curves of the V2O5 nanorods (Na-ion batteries)
Dane BadawczeThe DataSet contains the next thirty cycles voltammetry curves for the V2O5 nanorods obtained by the sol-gel method. The cyclic voltammetry was measured using the AUTOLAB 302N potentiostat-galvanostat. The measurements were carried out in a voltage range of 2 V to 4 V vs. Na/Na+ at a scan rate of 1 mV/s. As an electrolyte 1M NaPF6 was applied.
-
Cyclic voltammetry curves of the V2O5 nanocrystals (Na-ion batteries)
Dane BadawczeThe DataSet contains the next thirty cycles voltammetry curves for the V2O5 nanocrystals obtained by the sol-gel method. The cyclic voltammetry was measured using the AUTOLAB 302N potentiostat-galvanostat. The measurements were carried out in a voltage range of 2 V to 4 V vs. Na/Na+ at a scan rate of 1 mV/s. As an electrolyte 1M NaPF6 was applied.
-
Semi- incremental construction of minimal cyclic finite state automata usingcontinuation classes.
PublikacjaMinimalne 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 tagging of musical files
PublikacjaCelem 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....
-
Automatic Tracking with PTZ Cameras
Publikacja -
Rozmyta adaptacyjna automatyka ociążająca
Publikacja...
-
Automated network control and supervision
PublikacjaPrzedstawiono 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
PublikacjaUrban 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...
-
Kazimierz Orłowski prof. dr hab. inż.
Osoby -
Cycling performances of the V2O5 nanostructures as cathode material in Na-ion batteries
Dane BadawczeThe DataSet contains the next one hundred galvanostatic charge/discharge curves of the V2O5 nanostructures with different morphology obtained by the sol-gel method. The battery tests of the samples were performed using the Atlas-Sollich 0961 (Atlas-Sollich, Poland) with C/5 current densities in the voltage range between 2.0 V and 4.0 V vs. Li/Li+. Here...
-
The complete list of two-dimensional number-conserving ternary cellular automata
Dane BadawczeThis dataset contains a complete list of all 1327 two-dimensional number-conserving cellular automata with the state set {0,1,2} (the so-called ternary cellular automata) based on adjacent cells only, i.e. with the von Neumann neighborhood. The detailed definitions and the method of enumerating are given in the paper:
-
Documentatieblad voor de nederlandse kerkgeschiedenis na 1800
Czasopisma -
Farmacja Szpitalna w Polsce i na Świecie
Czasopisma -
Z badań nad wpływem antropopresji na środowisko
Czasopisma -
Comparison of construction algorithms for minimal, acyclic, deterministicfinite state automata from sets of strings.
PublikacjaArtykuł 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.
-
Ciepłownictwo w Polsce i na Świecie
Czasopisma -
Towards automatic classification of Wikipedia content
PublikacjaArtykuł 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.
-
System for automatic singing voice recognition
PublikacjaW 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
PublikacjaIn 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,...
-
Improving automatic surveillance by sound analysis
PublikacjaAn 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 audio-visual threat detection
PublikacjaThe 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...
-
The method of quantitative automatic metallographic analysis
Publikacja -
Automatic feature extraction for linear systems.
PublikacjaPraca 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.
-
Automated CAD of coupled resonator filters
PublikacjaGradientowa 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 evaluation of sound separation quality
PublikacjaW 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
PublikacjaW 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...
-
Automatic retrieval of musical rhythmic patterns.
PublikacjaObecnie 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.
-
Automated Reasoning Based User Interface
PublikacjaMotivation: 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...
-
Automatic Analysis of Trajectories of Moving Objects
PublikacjaOngoing 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
PublikacjaThis 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.
-
Tools for Automatic Wound Healing Evaluation
PublikacjaFinal 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...
-
Elektroenergetyczna automatyka zabezpieczeniowa farm wiatrowych
PublikacjaKsiąż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
PublikacjaThis 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...