Wszystkie pola: theory of computation

Skocz do pozycji: 1.

Tytuł:: Social Networks with Competing Products
Autorzy:: Apt, K. R.
Markakis, E.
Data publikacji:: 2014
Słowa kluczowe:: computer science
mathematical analysis
theory of computation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Real Recursive Functions and Baire Classes
Autorzy:: Mycka, J.
Data publikacji:: 2005
Słowa kluczowe:: theory of computation
real recursive functions
hierarchy of real functions; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Generowanie maszyn Turinga poprzez zastosowanie nowych modeli obliczeniowych
Autorzy:: Dubiel, L.
Data publikacji:: 2003
Słowa kluczowe:: maszyna Turinga
automat
teoria obliczeń
Turing machine
automatons
theory of computation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: UPSILON: Universal Programming System with Incomplete Lazy Object Notation
Autorzy:: Postow, B.
Regan, K.
Smith, C.H.
Data publikacji:: 2002
Słowa kluczowe:: theory of computation
model of computation
object oriented
type theory
recursion theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Theory of Quantum Computation and Philosophy of Mathematics. Part II
Autorzy:: Wójtowicz Krzysztof
Data publikacji:: 2019-03-15
Tematy:: quantum computation
quantum-assisted proofs
indispensability argument
mathematical realism
quasi-empiricismfs
quasi-empiricism; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Theory of quantum computation and philosophy of mathematics. P. 1
Autorzy:: Wójtowicz, Krzysztof (1967- )
Data publikacji:: 2010
Tematy:: Matematyka - filozofia
Mechanika kwantowa; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: A Computational Model of Language Acquisition: the Emergence of Words
Autorzy:: ten Bosch, L.
Boves, L.
Van Hamme, H.
Moore, R.K.
Data publikacji:: 2009
Słowa kluczowe:: I5 pattern recognition
J5 arts and humanities
F5 theory of computation
miscellaneous
cognitive modelling; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Limits of Modularity
Autorzy:: Bednarczyk, M.A.
Data publikacji:: 2006
Słowa kluczowe:: theory of computation
software/hardware design and implementation
concurrency
partially commutative free monoids
Mazurkiewicz traces
code problem; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Journal of chemical theory and computation
Wydawca:: American Chemical Society
Słowa kluczowe:: czasopisma
chemia
chemia teoretyczna; Pokaż więcej
Dostawca treści:: Jagiellońska Biblioteka Cyfrowa

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Limits of Modularity
Autorzy:: Bednarczyk, M.
Data publikacji:: 2006
Słowa kluczowe:: teoria obliczeń
tworzenie i implementowanie systemów
współbieżność
częściowo przemienne monoidy wolne
ślady Mazurkiewicza
problem kodu
theory of computation
software/hardware design and implementation
concurrency
commutative free monoids
Mazurkiewicz traces
code problem; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Komputery kwantowe. Cz. 1
Autorzy:: Soszyński, S.
Data publikacji:: 2003
Słowa kluczowe:: teoria komputerów kwantowych
bramka kwantowa
kropka kwantowa
qubit
theory of quantum computation
quantum gate
quantum dot; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 12.

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: 13.

Tytuł:: Behaviour Abstraction for Communicating Sequential Processes
Autorzy:: Koutny, M.
Pappalardo, G.
Data publikacji:: 2001
Słowa kluczowe:: theory of parallel and distributed computation
behaviour abstraction
communicating sequential processes
compositionality; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Relating Communicating Processes with Different Interfaces
Autorzy:: Burton, J.
Koutny, M.
Pappalardo, G.
Data publikacji:: 2004
Słowa kluczowe:: theory of parallel and distributed computation
behaviour abstraction
refinement
communicating sequential processes
compositionality
verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: Diagonal Anti-Mechanist Arguments
Autorzy:: Kashtan, David
Data publikacji:: 2020
Wydawca:: Polskie Towarzystwo Semiotyczne
Tematy:: mechanism
mind
computability
incompleteness theorems
computation-al theory of mind
the cogito
diagonal arguments
Gödel
Descartes
Tarski
Turing
Chomsky; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: Application of uncertain variables to a project management under uncertainty
Autorzy:: Bubnicki, Z.
Data publikacji:: 2003
Słowa kluczowe:: project management
resource allocation
vectors
set theory
computation theory
approximation theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: Scheduling of tasks on moving executors using advanced evolutionary algorithms
Autorzy:: Józefczyk, J.
Data publikacji:: 2003
Słowa kluczowe:: scheduling
manufacture
computation theory
evolutionary algorithms
decision theory
iterative methods
computer simulation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: Dynamic Turing Machine: model and properties for runtime code changes
Autorzy:: Rudy, J.
Data publikacji:: 2016
Słowa kluczowe:: computability theory
models of computation
Turing machine
runtime code changes; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: Ecological model of Virus-Evolutionary Genetic Algorithm
Autorzy:: Kubota, N.
Fukuda, T.
Data publikacji:: 1999
Słowa kluczowe:: evolutionary computation models
optimization
virus theory of evolution
travelling salesman problem; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: Computation of minimal realizations for compartmental linear systems
Autorzy:: Kaczorek, T.
Data publikacji:: 2003
Słowa kluczowe:: linear control systems
computation theory
transfer functions
problem solving
mathematical models
matrix algebra
mathematical operators; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 21.

Tytuł:: Modular Construction of Finite and Complete Prefixes of Petri net Unfoldings
Autorzy:: Madalinski, A.
Fabre, E.
Data publikacji:: 2009
Słowa kluczowe:: Petri net
unfoldings
finite complete prefix
distributed systems
modular computation
pullback
category theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 22.

Tytuł:: Computation of extensions of seminormal default theories
Autorzy:: Su, K.
Li, W.
Data publikacji:: 1999
Słowa kluczowe:: reasoning
knowledge representation
default logic
ordered default theory
extension; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 23.

Tytuł:: Objections to Computationalism: A Survey
Autorzy:: MIŁKOWSKI Marcin
Data publikacji:: 2018-09
Tematy:: computationalism
computational theory of mind
representation
computation
modeling
komputacjonizm
komputacjonalna teoria umysłu
reprezentacja
komputacja
modelowanie; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 24.

Tytuł:: Dynamic Turing Machine: model and properties for runtime code changes
Autorzy:: Rudy, J.
Data publikacji:: 2016
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:: computability theory
models of computation
Turing machine
runtime code changes; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 25.

Tytuł:: Objections to Computationalism: A Survey
Autorzy:: MIŁKOWSKI, Marcin
Data publikacji:: 2018-09
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:: computationalism
computational theory of mind
representation
computation
modeling
komputacjonizm
komputacjonalna teoria umysłu
reprezentacja
komputacja
modelowanie; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 26.

Tytuł:: A novel variant of the salp swarm algorithm for engineering optimization
Autorzy:: Jia, Fuyun
Luo, Sheng
Yin, Guan
Ye, Yin
Data publikacji:: 2023
Słowa kluczowe:: salp swarm algorithm
meta-heuristic algorithm
chaos theory
sine-cosine mechanism
quantum computation
optimization design of engineering; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 27.

Tytuł:: Efficient computation of 3D Morse–Smale complexes and persistent homology using discrete Morse theory
Autorzy:: Wagner, Hubert
Hotz, Ingrid
Reininghaus, Jan
Günther, David
Data publikacji:: 2012
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 28.

Tytuł:: Application of computer algebra in symbolic computations and boundary-value problems of the theory of shells
Autorzy:: Walentyński, R.
Data publikacji:: 2003
Słowa kluczowe:: teoria powłok
algebra komputerowa
obliczenia symboliczne
zagadnienie brzegowe
metoda najmniejszych kwadratów
analiza tensorowa
theory of shells
symbolic computation
boundary value problem
least squares method
tensor analysis; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 29.

Tytuł:: Modelling interactive computing systems: Do we have a good theory of what computers are?
Autorzy:: Alice Martin
Mathieu Magnaudet
Stéphane Conversy
Data publikacji:: 2022
Tematy:: philosophy of computing
models of computation
interactive computing
computing mechanism
computational mechanistic explanation; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 30.

Tytuł:: A novel variant of the salp swarm algorithm for engineering optimization
Autorzy:: Jia, Fuyun
Luo, Sheng
Yin, Guan
Ye, Yin
Data publikacji:: 2023
Wydawca:: Społeczna Akademia Nauk w Łodzi. Polskie Towarzystwo Sieci Neuronowych
Tematy:: salp swarm algorithm
meta-heuristic algorithm
chaos theory
sine-cosine mechanism
quantum computation
optimization design of engineering; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 31.

Tytuł:: A theory of moving form perception: Synergy between masking, perceptual grouping, and motion computation in retinotopic and non-retinotopic representations
Autorzy:: Haluk Öğmen
Tematy:: moving form perception
dynamic form perception
visual masking
perceptual grouping
motion; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 32.

Tytuł:: HGSNash evolutionary strategy as an effective method of detecting the Nash equilibria in n-person
Autorzy:: Jauernig, K.
Kołodziej, J.
Stysło, M.
Data publikacji:: 2006
Słowa kluczowe:: teoria gier
strategia
równowaga Nasha
obliczenia ewolucyjne
optymalizacja globalna
game theory
strategy
Hierarchical Genetic Strategy
HGS
Nash equilibrium
non-coperative games
evolutionary computation
global optimization; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 33.

Tytuł:: Fornasini-Marchesini 2-D State Space Models: Transfer Function Computation Via the Dft
Autorzy:: Antoniou, G.
Emmons, K.
Data publikacji:: 2000
Słowa kluczowe:: teoria systemów
transformata Fouriera
two dimensions system theory
Fourier transform
DFT algorithm
Fornasini-Marchesini's model; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 34.

Tytuł:: Efficient computation of persistent homology
Efektywne metody obliczeń homologii persystentnych
Autorzy:: Wagner, Hubert
Współwytwórcy:: Mrozek, Marian
Data publikacji:: 2014-11-20
Słowa kluczowe:: discrete Morse theory
persistent homology
homologie kostkowe
homologie persystentne
dyskretna teoria Morse'a
cubical homology; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Książka

na półce

Szczegóły

Skocz do pozycji: 35.

Tytuł:: Modelling interactive computing systems: Do we have a good theory of what computers are?
Autorzy:: Martin, Alice
Magnaudet, Mathieu
Conversy, Stéphane
Data publikacji:: 2022
Wydawca:: Copernicus Center Press
Tematy:: philosophy of computing
models of computation
interactive computing
computing mechanism
computational mechanistic explanation; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 36.

Tytuł:: Wyznaczanie pokrycia sieci Petriego przez SM-komponenty z wykorzystaniem przeszukiwania grafów
Autorzy:: Karatkiewicz, A.
Wiśniewski, R.
Data publikacji:: 2012
Słowa kluczowe:: sieci Petriego
dekompozycja sieci Petriego
składowe automatowe
współbieżność
SM-components
Petri nets
decomposition
concurrency; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 37.

Tytuł:: Metody sztucznej inteligencji, teoria rozpoznawania obrazów i obliczenia równoległe w inżynierii
Autorzy:: Gumuła, A.
Dębiński, T.
Jędrzejczyk, D.
Głowacki, M.
Data publikacji:: 2009
Słowa kluczowe:: cyfrowe przetwarzania obrazu
rozpoznawanie obrazu
sieci neuronowe
systemy ekspertowe
deskryptory tekstury
walcowanie w stanie półciekłym
obliczenia równoległe
digital image processing
pattern and image recognition
artificial neural network
expert systems
texture descriptors
rolling of mushy steel
parallel computinge; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "theory of computation" wg kryterium: Wszystkie pola