Temat: computation theory - Prolib Integro

Skocz do pozycji: 1.

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

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

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

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

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

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

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

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

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

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: 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ł:: Models for dependable computation with multiple inputs and some hardness results
Autorzy:: Wang, Y.
Desmedt, Y.
Burmester, M.
Data publikacji:: 2000
Słowa kluczowe:: dependable computation
complexity theory
NP-hardness; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 13.

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

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

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

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

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

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

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

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

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

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

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

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

Tytuł:: Evolutionary algorithm to find graph covering subsets using α-cliques
Autorzy:: Potrzebowski, H.
Stańczak, J.
Sęp, K.
Data publikacji:: 2006
Słowa kluczowe:: teoria grafu
klika
alfa-klika
algorytm ewolucyjny
obliczenia ewolucyjne
graph theory
clique
alpha-clique
evolutionary algorithm
EA
evolutionary computation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 26.

Tytuł:: Evolutionary approach to constrained minimum spanning tree problem - commercial software based application
Autorzy:: Pagacz, A.
Raidl, G.
Zawiślak, S.
Data publikacji:: 2006
Słowa kluczowe:: obliczenia ewolucyjne
algorytm ewolucyjny
minimalne drzewo rozpinające
teoria grafu
evolutionary computation
evolutionary algorithm
EA
minimum spanning tree
MST
graph theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 27.

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: 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ł:: Rozwiązywanie cienkich płyt żebrowanych metodą elementów konstrukcyjnych
Solving thin finned plates using structural elements method
Autorzy:: Delyavskyy M.
Niespodziana A.
Buchaniec D.
Tematy:: elementy konstrukcyjne
plyty niejednorodne
plyty zebrowane
belka Eulera
teoria plyt cienkich
obliczenia
metoda elementow konstrukcyjnych
modele matematyczne
constructional element
non-homogenous plate
ribbed plate
Euler beam
thin plate theory
computation
constructional element method
mathematical model; Pokaż więcej
Dostawca treści:: AGRO

Artykuł

na półce

Szczegóły

Skocz do pozycji: 30.

Tytuł:: Rozwiązywanie cienkich płyt żebrowanych metodą elementów konstrukcyjnych
Solving thin finned plates using structural elements method
Autorzy:: Delyavskyy, M.
Niespodziana, A.
Buchaniec, D.
Data publikacji:: 2011
Wydawca:: Szkoła Główna Gospodarstwa Wiejskiego w Warszawie. Wydawnictwo Szkoły Głównej Gospodarstwa Wiejskiego w Warszawie
Tematy:: elementy konstrukcyjne
plyty niejednorodne
plyty zebrowane
belka Eulera
teoria plyt cienkich
obliczenia
metoda elementow konstrukcyjnych
modele matematyczne
constructional element
non-homogenous plate
ribbed plate
Euler beam
thin plate theory
computation
constructional element method
mathematical model; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "computation theory" wg kryterium: Temat