Temat: model of computation

Skocz do pozycji: 1.

Tytuł:: Computability by Sequences of Queries
Autorzy:: Tyszkiewicz, J.
Data publikacji:: 2001
Słowa kluczowe:: model of computation
sequence of queries; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

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

Tytuł:: First and Second Order Recursion on Abstract Data Types
Autorzy:: Xu, J.
Zucker, J.
Data publikacji:: 2005
Słowa kluczowe:: model of computation
many-sorted algebras
recursive schems
recursive procedures
fixed point
computation on abstract data types
abstract computability; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Reaction Systems and Enabling Equivalence
Autorzy:: Kleijn, Jetty
Koutny, Maciej
Mikulski, Łukasz
Data publikacji:: 2020
Słowa kluczowe:: context-independent process
enabling equivalence
functional equivalence
interactive process
living cell
model of computation
reaction system
transition system; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Koncepcja i realizacja molekularnego modelu obliczeń w analizie paradygmatu niewidzialnej ręki rynku Adama Smitha
Autorzy:: Skrzyński, P.
Szuba, T.
Data publikacji:: 2009
Słowa kluczowe:: kolektywna inteligencja
model obliczeniowy
procesy wnioskowania w strukturze socjalnej
niewidzialna ręka rynku A. Smitha
model symulacyjny
procesy samoregulacji
molekularny model obliczeń
collective intelligence
computational model
inference process in social structure
Adam Smith Invisible Hand of Market
simulation model
self-regulation
molecular model of computation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: xEmotion - obliczeniowy model emocji dedykowany dla inteligentnych systemów decyzyjnych
Autorzy:: Kowalczuk, Z.
Czubenko, M.
Data publikacji:: 2013
Słowa kluczowe:: obliczeniowy model emocji
systemy podejmowania decyzji
podejście rozmyte
inteligentny system
artificial intelligence
computation model of emotions
decision-making system
fuzzy approach
intelligent system; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: xEmotion - obliczeniowy model emocji dedykowany dla inteligentnych systemów decyzyjnych
xEmotion - a computational model of emotions dedicated to intelligent decision-making systems
Autorzy:: Kowalczuk, Z.
Czubenko, M.
Data publikacji:: 2013
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: obliczeniowy model emocji
systemy podejmowania decyzji
podejście rozmyte
inteligentny system
artificial intelligence
computation model of emotions
decision-making system
fuzzy approach
intelligent system; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Electrical system elements aggregation for parallel computing in real-time digital simulators
Autorzy:: Cieślik, S.
Data publikacji:: 2013
Słowa kluczowe:: digital simulation of electrical systems
real-time simulation
mathematical model decomposition
parallel computation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Electrical system elements aggregation for parallel computing in real-time digital simulators
Autorzy:: Cieślik, S
Data publikacji:: 2013
Wydawca:: Politechnika Poznańska. Wydawnictwo Politechniki Poznańskiej
Tematy:: digital simulation of electrical systems
real-time simulation
mathematical model decomposition
parallel computation; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

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

Tytuł:: Model tests for shallow-water ship maneuverability in Three Gorges Reservoir
Autorzy:: Cai, C.
Cai, X.
Li, Y.
Data publikacji:: 2015
Wydawca:: Politechnika Gdańska. Wydział Inżynierii Mechanicznej i Okrętownictwa
Tematy:: shallow-water test of ship model
simulated computation
maneuverability calibration
scale effect
Z shape test
K and T indexes
navigation safety; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: Advanced supervision of oil wells based on soft computing techniques
Autorzy:: Camargo, E.
Aguilar, J.
Data publikacji:: 2014
Wydawca:: Społeczna Akademia Nauk w Łodzi. Polskie Towarzystwo Sieci Neuronowych
Tematy:: intelligent model of supervision
evolutionary computation
fuzzy system
oil industry
operational diagnosis
petroleum wells
gas lift method
multilayer fuzzy system
genetic algorithm; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Advanced supervision of oil wells based on soft computing techniques
Autorzy:: Camargo, E.
Aguilar, J.
Data publikacji:: 2014
Słowa kluczowe:: intelligent model of supervision
evolutionary computation
fuzzy system
oil industry
operational diagnosis
petroleum wells
gas lift method
multilayer fuzzy system
genetic algorithm; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Model tests for shallow-water ship maneuverability in Three Gorges Reservoir
Autorzy:: Cai, C.
Cai, X.
Li, Y.
Data publikacji:: 2015
Słowa kluczowe:: shallow-water test of ship model
simulated computation
maneuverability calibration
scale effect
Z shape test
K and T indexes
navigation safety; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "model of computation" wg kryterium: Temat