Wszystkie pola: automata theory

Skocz do pozycji: 1.

Tytuł:: Automata theory and its applications - recenzja
Autorzy:: Mieścicki, Jerzy (1940-2015)
Data publikacji:: 2002
Tematy:: Teoria automatów
Khoussainov, Bakhadyr. Automata theory and its applications
Nerode, Anil. Automata theory and its applications; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Transcendence, automata theory and gamma functions for polynomial rings
Autorzy:: Wen, Zhi Ying
Współwytwórcy:: Yao Jia-yan
Data publikacji:: 2002
Tematy:: Informatyka
Teoria liczb; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Grid generalisation based on cellular automata theory
Autorzy:: Olszewski, R.
Data publikacji:: 2003
Słowa kluczowe:: kartografia
mapa
przestrzeń geograficzna
cartography
map
geographic space; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Understanding Basic Automata Theory in the Continuous Time Setting
Autorzy:: Trakhtenbrot, B.A.
Data publikacji:: 2004
Słowa kluczowe:: automata theory
paths and sets of paths
jump and flows
input-output
Constrained Automata; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: The Use of complexity hierarchies in descriptive set theory and automata theory
Autorzy:: Andretta, Alessandro
Współwytwórcy:: Camerlo, Riccardo
Data publikacji:: 2005
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: The use of complexity hierarchies in descriptive set theory and automata theory
Autorzy:: Andretta, A.
Camerlo, R.
Data publikacji:: 2005
Wydawca:: Politechnika Gdańska
Tematy:: hierarchies
infinite games
Borel reducibility
automata theory; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Simulation of rock mass horizontal displacements with usage of cellular automata theory
Autorzy:: Sikora, P.
Data publikacji:: 2016
Słowa kluczowe:: przemieszczenia poziome
deformacje górotworu
ochrona terenów górniczych
automat komórkowy
horizontal displacements
rock mass deformation
mining area protection
cellular automata; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: The Use of complexity hierarchies in descriptive set theory and automata theory
Autorzy:: Andretta, A.
Camerlo, R.
Data publikacji:: 2005
Słowa kluczowe:: hierarchies
infinite games
Borel reducibility
automata theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Some Basic Techniques allowing Petri Net Synthesis: Complexity and Algorithmic Issues
Autorzy:: Devillers, Raymond
Tredup, Ronny
Data publikacji:: 2022
Słowa kluczowe:: Computer Science
Formal Languages and Automata Theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Synthesis of Pure and Impure Petri nets with Restricted Place-environments : Complexity Issues
Autorzy:: Devillers, Raymond
Tredup, Ronny
Data publikacji:: 2022
Słowa kluczowe:: Computer Science
Formal Languages and Automata Theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Spiking Neural dP Systems
Autorzy:: Ionescu, M.
Paun, G.
Pérez-Jiménez, M.J.
Yokomori, T.
Data publikacji:: 2011
Słowa kluczowe:: language and automata theory
spiking neural P systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: Simulation of rock mass horizontal displacements with usage of cellular automata theory
Symulacja przemieszczeń poziomych górotworu z wykorzystaniem teorii automatów komórkowych
Autorzy:: Sikora, P.
Data publikacji:: 2016
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: przemieszczenia poziome
deformacje górotworu
ochrona terenów górniczych
automat komórkowy
horizontal displacements
rock mass deformation
mining area protection
cellular automata; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Automata and finite order elements in the Nottingham group
Autorzy:: Cornelissen, Gunther
Byszewski, Jakub
Tijsma, Djurre
Data publikacji:: 2022
Słowa kluczowe:: Nottingham group
automata theory
power series over finite fields; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Od Zespołu Teorii Automatów Cyfrowych do Zakładu Mikroinformatykii Teorii Automatów Cyfrowych
Autorzy:: Pochopień, B.
Małysiak, H.
Tokarz, K.
Data publikacji:: 2011
Słowa kluczowe:: Zespół Teorii Automatów Cyfrowych
Zakład Mikroinformatyki i Teorii Automatów Cyfrowych
Politechnika Śląska
Digital Automata Theory Team
Division of Microinformatics and Automata Theory
Silesian University of Technology; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: Affine completeness of some free binary algebras
Autorzy:: Arnold, André
Cégielski, Patrick
Guessarian, Irène
Data publikacji:: 2022
Słowa kluczowe:: mathematics
rings and Algebras
computer science
formal languages and automata theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: Tree Automata Constructions from Regular Expressions : a Comparative Study
Autorzy:: Mignot, L.
Sebti, N. O.
Ziadi, D.
Data publikacji:: 2017
Słowa kluczowe:: tree automata constructions
regular tree expression
derivatives
partial derivatives
automata theory
c-continuation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: Morphisms and minimisation of weighted automata
Autorzy:: Lombardy, Sylvain
Sakarovitch, Jacques
Data publikacji:: 2022
Słowa kluczowe:: Computer Science - Discrete Mathematics
Computer Science - Formal Languages and Automata Theory Licence; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: Two-dimensional game called "Automata" based on the formal languages theory and automata theory
Dwuwymiarowa gra logiczna “Automaty” oparta o teorię języków formalnych i teorię automatów
Autorzy:: Orliński, Adam
Słowa kluczowe:: teoria języków formalnych i automatów, automaty, języki formalne, aplikacja, gra, gra dwuwymiarowa, minimalizacja, wyrażenie regularne
the formal languages theory and automata theory, automata, formal languages, application, game, two dimensional game, minimization, regular expression; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: Two-dimensional game called "Automata" based on the formal languages theory and automata theory
Dwuwymiarowa gra logiczna “Automaty” oparta o teorię języków formalnych i teorię automatów
Autorzy:: Tutaj, Karolina
Słowa kluczowe:: teoria języków formalnych i automatów, automaty, języki formalne, aplikacja, gra, gra dwuwymiarowa, minimalizacja, wyrażenie regularne
the formal languages theory and automata theory, automata, formal languages, application, game, two dimensional game, minimization, regular expression; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: Synchronizacja automatów częściowych
On synchronization of partial automata
Autorzy:: Ruszil, Jakub
Słowa kluczowe:: formal languages, automata theory, synchronization, Cerny conjecture
języki formalne, teoria automatów, synchronizacja, hipoteza Cernego; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 21.

Tytuł:: Introduction to Probabilistic Concurrent Systems
Autorzy:: Abbes, Samy
Data publikacji:: 2022
Słowa kluczowe:: Computer Science - Formal Languages and Automata Theory
G.2.1,F.1.1; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 22.

Tytuł:: Jednoznaczna metoda opisu funkcji zależnościowych w systemach sterowania ruchem kolejowym
Autorzy:: Kawalec, P.
Koliński, D.
Data publikacji:: 2012
Słowa kluczowe:: kolej
sterowanie ruchem kolejowym
teoria automatów
funkcje zależnościowe
turn
signaling
automata theory
dependence function; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 23.

Tytuł:: Model komórkowy sterowania ruchem drogowym
Autorzy:: Płaczek, B.
Piecha, J.
Data publikacji:: 2005
Słowa kluczowe:: ruch drogowy
teoria automatów komórkowych
NaSch
symulacja ruchu drogowego
road traffic
cellular automata theory
traffic simulation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 24.

Tytuł:: Cobham’s theorem for automatic and regular sequences
Twierdzenie Cobhama dla ciągów automatycznych i regularnych
Autorzy:: Młynarczyk, Dorota
Słowa kluczowe:: Automata theory, automatic sequence, regular sequence, Cobham's theorem.
Teoria automatów, ciągi automatyczne, ciągi regularne, Twierdzenie Cobhama.; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 25.

Tytuł:: Złożoność półgrupy charakterystycznej sumy prostej automatów asynchronicznych spójnych
Autorzy:: Bocian, S.
Data publikacji:: 2014
Słowa kluczowe:: automat asynchroniczny spójny
półgrupa charakterystyczna
teoria automatów
characteristic semi-group of automaton
automata theory
connected asynchronous automaton; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 26.

Tytuł:: Złożoność półgrupy charakterystycznej automatów asynchronicznych spójnych ustalonych analogów ich rozszerzeń związanych z izomorfizmami
Autorzy:: Bocian, S.
Data publikacji:: 2014
Słowa kluczowe:: automat asynchroniczny spójny
półgrupa charakterystyczna
teoria automatów
connected asynchronous automaton
characteristic semi-group of automaton
automata theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 27.

Tytuł:: Złożoność półgrup charakterystycznych iloczynów prostych „G” automatów asynchronicznych silnie spójnych
Complexity of characteristic semi-groups of „G” direct sums of the strongly connected asynchronous automatons
Autorzy:: Bocian, S.
Data publikacji:: 2017
Wydawca:: Instytut Naukowo-Wydawniczy "SPATIUM"
Tematy:: automat
teoria automatów
automat asynchroniczny spójny
iloczyn prosty
półgrupa charakterystyczna
automaton
automata theory
asynchronous automaton
direct sum
characteristic semi-group; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 28.

Tytuł:: Złożoność półgrup charakterystycznych iloczynów prostych „G” automatów asynchronicznych silnie spójnych
Autorzy:: Bocian, S.
Data publikacji:: 2017
Słowa kluczowe:: automat
teoria automatów
automat asynchroniczny spójny
iloczyn prosty
półgrupa charakterystyczna
automaton
automata theory
asynchronous automaton
direct sum
characteristic semi-group; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 29.

Tytuł:: Rational stochastic automata in formal language theory
Autorzy:: Turakainen, Paavo
Data publikacji:: 1982
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 30.

Tytuł:: Modeling and Verification using Different Notations for CPSs: The One-Water-Tank Case Study
Autorzy:: Staroletov, Sergey
Schulte, Horst
Baar, Thomas
Konyukhov, Ivan
Shilov, Nikolay
Rozov, Andrei
Liakh, Tatiana
Zyubin, Vladimir
Data publikacji:: 2021
Słowa kluczowe:: automata theory
cyber-physical systems
formal specification
formal verification
safety critical software
theorem proving
teoria automatów
systemy cyber-fizyczne
formalna specyfikacja
weryfikacja formalna
oprogramowanie krytyczne dla bezpieczeństwa
dowodzenie twierdzeń; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 31.

Tytuł:: Złożoność półgrup charakterystycznych sum prostych “A^G” automatów asynchronicznych silnie spójnych ustalonych analogów rozszerzeń związanych z izomorfizmani DFASC2
Complexity of the characteristic semi-group “A^G” of the asynchronous automatons of the strongly connected determined analogs, their extensions associated with isomorpism DFASC2
Autorzy:: Bocian, S.
Data publikacji:: 2017
Wydawca:: Instytut Naukowo-Wydawniczy "SPATIUM"
Tematy:: pojazd szynowy
sterowanie pojazdem
symulacja sterowania
teoria automatów
automaty asynchroniczne
analiza graficzna
izomorfizm
model matematyczny
rail vehicle
vehicle control
control simulation
automata theory
asynchronous automaton
graphical analysis
isomorphism
mathematical model; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 32.

Tytuł:: Złożoność półgrup charakterystycznych sum prostych “AG” automatów asynchronicznych silnie spójnych ustalonych analogów rozszerzeń związanych z izomorfizmani DFASC2
Autorzy:: Bocian, S.
Data publikacji:: 2017
Słowa kluczowe:: pojazd szynowy
sterowanie pojazdem
symulacja sterowania
teoria automatów
automat asynchroniczny
analiza graficzna
izomorfizm
model matematyczny
rail vehicle
vehicle control
control simulation
automata theory
asynchronous automaton
graphical analysis
isomorphism
mathematical model; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 33.

Tytuł:: Wpływ nieliniowego sumowania wpływów na kształt profilu niecki obniżeniowej opisywanej przez deterministyczny model górotworu zbudowany na podstawie teorii automatów komórkowych
Autorzy:: Sikora, P.
Data publikacji:: 2013
Słowa kluczowe:: obniżenia
desymetryzacja
automat komórkowy
subsidence
desymmetrization
cellular automata; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 34.

Tytuł:: Symulacja obniżeń górotworu spowodowanych eksploatacją kolejnych ścian z wykorzystaniem teorii automatów komórkowych
Autorzy:: Mielimąka, R.
Sikora, P.
Data publikacji:: 2018
Słowa kluczowe:: obniżenia
górotwór
automat komórkowy
subsidence
rock mass
cellular automaton; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 35.

Tytuł:: Symulacja obniżeń górotworu spowodowanych eksploatacją kolejnych ścian z wykorzystaniem teorii automatów komórkowych
Simulation of rock mass subsidence due to subsequent mining extraction using the theory of cellular automata
Autorzy:: Mielimąka, R.
Sikora, P.
Data publikacji:: 2018
Wydawca:: STE GROUP
Tematy:: obniżenia
górotwór
automat komórkowy
subsidence
rock mass
cellular automaton; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 36.

Tytuł:: Symulacja wpływu nieliniowego sumowania się wpływów spowodowanych eksploatacją kolejnych ścian z wykorzystaniem teorii automatów komórkowych
Autorzy:: Sikora, Paweł
Data publikacji:: 2019
Słowa kluczowe:: obniżenia
górotwór
automat komórkowy
subsidence
rock mass
cellular automaton; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 37.

Tytuł:: Symulacja wpływu nieliniowego sumowania się wpływów spowodowanych eksploatacją kolejnych ścian z wykorzystaniem teorii automatów komórkowych
Simulation of the non-linear summation effect due to subsequent mining extraction using the theory of cellular automata
Autorzy:: Sikora, Paweł
Data publikacji:: 2019
Wydawca:: STE GROUP
Tematy:: obniżenia
górotwór
automat komórkowy
subsidence
rock mass
cellular automaton; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 38.

Tytuł:: Symulacja deformacji górotworu spowodowanych eksploatacją górniczą w sąsiedztwie szczelin uskokowych z wykorzystaniem teorii automatów komórkowych
Autorzy:: Mielimąka, Ryszard
Sikora, Paweł
Data publikacji:: 2019
Słowa kluczowe:: obniżenia górotworu
szczelina uskokowa
automat komórkowy
rock mass subsidences
fault gap
cellular automaton; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 39.

Tytuł:: Symulacja deformacji górotworu spowodowanych eksploatacją górniczą w sąsiedztwie szczelin uskokowych z wykorzystaniem teorii automatów komórkowych
Simulation of rock mass deformation caused by mining exploitation in the vicinity of fault gaps using the theory of cellular automata
Autorzy:: Mielimąka, Ryszard
Sikora, Paweł
Data publikacji:: 2019
Wydawca:: Stowarzyszenie Inżynierów i Techników Górnictwa
Tematy:: obniżenia górotworu
szczelina uskokowa
automat komórkowy
rock mass subsidences
fault gap
cellular automaton; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 40.

Tytuł:: Almost Periodic Configurations on Linear Cellular Automata
Autorzy:: Sutner, K.
Data publikacji:: 2003
Słowa kluczowe:: cellular automata
parallel processing
pattern recognition system
sequential machine theory
machine theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 41.

Tytuł:: Reversible Queue Automata
Autorzy:: Kutrib, M.
Malcher, A.
Wendlandt, M.
Data publikacji:: 2016
Słowa kluczowe:: deterministic finite automata
computational complexity
formal languages
queuing theory
machine theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 42.

Tytuł:: SAT-based Reachability Checking for Timed Automata with Diagonal Constraints
Autorzy:: Zbrzezny, A.
Data publikacji:: 2005
Słowa kluczowe:: probabilistic automata
production scheduling
machine theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 43.

Tytuł:: Reversible Limited Automata
Autorzy:: Kutrib, M.
Wendlandt, M.
Data publikacji:: 2017
Słowa kluczowe:: machine theory
reversible computing
finite state machine
statistical matching
homomorphisms
cellular automata; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 44.

Tytuł:: Stochastic Cellular Automata: Correlations : Decidability and Simulations
Autorzy:: Arrighi, P.
Schabanel, N.
Theyssier, G.
Data publikacji:: 2013
Słowa kluczowe:: stochastic analysis
cellular automata
correlation
decidability
computer simulation
probability theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 45.

Tytuł:: On Completeness and Decidability of Phase Space Invertible Asynchronous Cellular Automata
Autorzy:: Wacker, S.
Worsch, T.
Data publikacji:: 2013
Słowa kluczowe:: completeness theorem
decidability
cellular automata
turing machines
dimensional analysis
machine theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 46.

Tytuł:: Register Cellular Automata in the Hyperbolic Plane
Autorzy:: Grigorieff, S.
Margenstern, M.
Data publikacji:: 2004
Słowa kluczowe:: cellular automata
sequential machine theory
parallel processing
pattern recognition system
swarm intelligence
polygons; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 47.

Tytuł:: Towards theory of massive-parallel proofs : cellular automata approach
Autorzy:: Schumann, Andrew
Data publikacji:: 2010
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 48.

Tytuł:: On Languages of P Automata
Autorzy:: Csuhaj-Varjú, Erzsébet
Vaszil, György
Data publikacji:: 2020
Słowa kluczowe:: machine theory
language; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 49.

Tytuł:: A Modal Interface Theory for Component-based Design
Autorzy:: Raclet, J. B.
Benveniste, A.
Legay, A.
Badouel, E.
Caillaud, B.
Passerone, R.
Data publikacji:: 2011
Słowa kluczowe:: component-based system
compositional reasoning
interface theory
interface automata
modal specifications; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 50.

Tytuł:: The Simulation Powers and Limitations of Higher Temperature Hierarchical Self-Assembly Systems
Autorzy:: Hendricks, J.
Patitz, M.
Rogers, T. A.
Data publikacji:: 2017
Słowa kluczowe:: turing machines
equivalence
arbitrary constants
cellular automata
temperature
graph theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 51.

Tytuł:: Integrating Forms of Interaction in a Distributed Model
Autorzy:: Bandini, S.
Simone, C.
Data publikacji:: 2004
Słowa kluczowe:: cellular automata
sequential machine theory
parallel processing
pattern recognition system
swarm intelligence; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 52.

Tytuł:: Theory and Application of Cellular Automata For Pattern Classification
Autorzy:: Maji, P.
Shaw, C.
Ganguly, N.
Sikdar, B.K.
Chaudhuri, P.P.
Data publikacji:: 2003
Słowa kluczowe:: cellular automata
Multiple Attractor Cellular Automata
MACA
pattern clasification
genetic algorithm
data mining
image compression
fault diagnosis; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 53.

Tytuł:: Usage of hypergraph theory in decomposition of concurrent automata
Autorzy:: Wiśniewska, Monika
Współwytwórcy:: Wiśniewski, Remigiusz
Adamski, Marian
Data publikacji:: 2007
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 54.

Tytuł:: Improvements in SAT-based Reachability Analysis for Timed Automata
Autorzy:: Zbrzezny, A.
Data publikacji:: 2004
Słowa kluczowe:: machine theory
mathematical formulas
robotics
algorithms; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 55.

Tytuł:: Strongly Limited Automata
Autorzy:: Pighizzini, G.
Data publikacji:: 2016
Słowa kluczowe:: turing machines
computational complexity
machine theory
polynomials
formal languages; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 56.

Tytuł:: Extension of Critical Programs of the Computational Theory of Mind
Autorzy:: Pavel N. Baryshnikov
Data publikacji:: 2022
Tematy:: anticomputationalism
computational theory of mind
Chinese room
finite automata
symbolic semantics
language of thought; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 57.

Tytuł:: Extension of Critical Programs of the Computational Theory of Mind
Autorzy:: Baryshnikov Pavel N.
Tematy:: anticomputationalism
computational theory of mind
Chinese room
finite automata
symbolic semantics
language of thought; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 58.

Tytuł:: A minimization algorithm of 1-way quantum finite automata
Autorzy:: Siedlecka-Lamch, O.
Data publikacji:: 2010
Słowa kluczowe:: teoria obliczeń
obliczenia przez urządzenia abstrakcyjne
model obliczeniowy
automat
logika matematyczna i języki formalne
1-kwantowy model automatów skończonych
algorytm minimalizacji
theory of computation
computation by abstract devices
models of computation
automata
mathematical logic and formal lanquages
quantum automata
1-way quantum finite automata
minimization algorithm
indistinguishableness relation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 59.

Tytuł:: Power of S-kR-RRWW-automata
Autorzy:: Hoffmann, P.
Data publikacji:: 2015
Słowa kluczowe:: mathematical models
simulation methods
simulation model
machine theory
robots; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 60.

Tytuł:: Usage of Hypergraph Theory in Decomposition of Concurrent Automata
Równoległa dekompozycja automatów współbieżnych z wykorzystaniem hipergrafów
Autorzy:: Wiśniewska, M.
Wiśniewski, R.
Adamski, M.
Data publikacji:: 2007
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: transwersala
stany lokalne automatu
sieć Petriego
hypergraph
transversals
local states of automata
Petri nets; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 61.

Tytuł:: Asynchronous Systems of Parallel Communicating Finite Automata
Autorzy:: Vollweiler, M.
Data publikacji:: 2015
Słowa kluczowe:: machine theory
finite state machine
robots
computer simulation
programming languages; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 62.

Tytuł:: The Supports of Weighted Unranked Tree Automata
Autorzy:: Droste, M.
Heusel, D.
Data publikacji:: 2015
Słowa kluczowe:: machine theory
robots
mathematical models
recursive functions
artificial intelligence; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 63.

Tytuł:: Równoległa dekompozycja automatów współbieżnych z wykorzystaniem hipergrafów
Autorzy:: Wiśniewska, M.
Wiśniewski, R.
Adamski, M.
Data publikacji:: 2007
Słowa kluczowe:: transwersala
stany lokalne automatu
sieć Petriego
hypergraph
transversals
local states of automata
Petri nets; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 64.

Tytuł:: Tinput-Driven Pushdown, Counter, and Stack Automata
Autorzy:: Kutrib, M.
Malcher, A.
Wendlandt, M.
Data publikacji:: 2017
Słowa kluczowe:: machine theory
boolean functions
decidability
equivalence
finite state machine; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 65.

Tytuł:: Formal fundamentals of syntactic pattern recognition - survey
Autorzy:: Flasiński, M.
Data publikacji:: 2001
Słowa kluczowe:: rozpoznawanie obrazów
syntaktyczne rozpoznawanie obrazów
teoria języków formalnych i automatów
pattern recognition
syntactic pattern recognition
theory of formal languages and automata; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 66.

Tytuł:: Interrupt Timed Automata with Auxiliary Clocks and Parameters
Autorzy:: Bérard, B.
Jovanović, A.
Haddad, S.
Lime, D.
Data publikacji:: 2016
Słowa kluczowe:: machine theory
parameter estimation
problem solving
robust control
mathematical models; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 67.

Tytuł:: On the Computational Complexity of Partial Word Automata Problems
Autorzy:: Holzer, M.
Jakobi, S.
Wendlandt, M.
Data publikacji:: 2016
Słowa kluczowe:: computational complexity
machine theory
robots
np-hard problems
formal languages; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 68.

Tytuł:: Checking MTL Properties of Discrete Timed Automata via Bounded Model Checking
Autorzy:: Woźna-Szcześniak, B.
Zbrzezny, A.
Data publikacji:: 2014
Słowa kluczowe:: discrete-time systems
machine theory
infinity
analysis of variance
bounds; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 69.

Tytuł:: A Sweep-Line Method for Büchi Automata-based Model Checking
Autorzy:: Evangelista, S.
Kristensen, L. M.
Data publikacji:: 2014
Słowa kluczowe:: machine theory
computer storage devices
computer systems
computer algorithms
search engines; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 70.

Tytuł:: New Language Operations in Formal Language Theory
Autorzy:: Meduna, A.
Vítek, M.
Data publikacji:: 2004
Słowa kluczowe:: stringology
sequential insertion
parallel insertion
scattered sequential insertion
sequential deletion
parallel deletion
scattered sequential deletion
finite automata
closure properties; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 71.

Tytuł:: Catalytic and Purely Catalytic P Systems and P Automata: Control Mechanisms for Obtaining Computational Completeness
Autorzy:: Freund, R.
Oswald, M.
Păun, G.
Data publikacji:: 2015
Słowa kluczowe:: machine theory
information science
mathematical optimization
computational complexity
electronic data processing; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 72.

Tytuł:: Extension of Critical Programs of the Computational Theory of Mind
Autorzy:: Baryshnikov, Pavel N.
Data publikacji:: 2022
Wydawca:: Polska Akademia Nauk. Instytut Filozofii i Socjologii PAN
Tematy:: anticomputationalism
computational theory of mind
Chinese room
finite automata
symbolic semantics
language of thought; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 73.

Tytuł:: Formal fundamentals of syntactic pattern recognition : survey
Podstawy formalne syntaktycznego rozpoznawania obrazów : przegląd
Autorzy:: Flasiński, Mariusz
Data publikacji:: 2001
Słowa kluczowe:: theory of formal languages and automata
rozpoznawanie obrazów
pattern recognition
syntactic pattern recognition
teoria języków formalnych i automatów
syntaktyczne rozpoznawanie obrazów; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 74.

Tytuł:: A systematic approach for microscopic models based on cellular automata for road traffic
Autorzy:: Valente, Eduardo
Avram, Camelia
Astilean, Adina
Machado, José
Data publikacji:: 2022
Słowa kluczowe:: urban traffic theory
cellular automaton
simulation
modeling
traffic elements
teoria ruchu miejskiego
automat komórkowy
symulacja
modelowanie
element ruchu; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 75.

Tytuł:: Agent-based approach to systemic risk assessment
Modelowanie wieloagentowe w ocenie ryzyka systemowego
Autorzy:: Kaszowska, Jagoda
Słowa kluczowe:: graph and network theory, sequential stochastic finite discrete dynamical systems, cellular automata, risk modelling, agent-based modelling, systemic risk
teoria grafów i sieci, sekwencyjne stochastyczne skończone dyskretne układy dynamiczne, automaty komórkowe, modelowanie ryzyka, modelowanie wieloagentowe, modelowanie symulacyjne typu ABM, ryzyko systemowe; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 76.

Tytuł:: A systematic approach for microscopic models based on cellular automata for road traffic
Systematyczne podejście do modeli mikroskopowych opartych na automatach komórkowych dla ruchu drogowego
Autorzy:: Valente, Eduardo
Avram, Camelia
Astilean, Adina
Machado, José
Data publikacji:: 2022
Wydawca:: Politechnika Rzeszowska im. Ignacego Łukasiewicza. Oficyna Wydawnicza
Tematy:: urban traffic theory
cellular automaton
simulation
modeling
traffic elements
teoria ruchu miejskiego
automat komórkowy
symulacja
modelowanie
element ruchu; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "automata theory" wg kryterium: Wszystkie pola