Wszystkie pola: computational theory

Skocz do pozycji: 1.

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

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

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

Tytuł:: A computational model for color perception
Autorzy:: Ebner, M.
Data publikacji:: 2012
Słowa kluczowe:: color perception
computational theory
color constancy
V4; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Co wiemy o myśleniu w epoce kognitywizmu
WHAT DO WE KNOW ABOUT THINKING IN THE AGE OF COGNITIVISM?
Autorzy:: Bobryk Jerzy
Tematy:: ACTION AND PRODUCTS
COGNITIVE SCIENCE
COMPUTER
COMPUTATIONAL THEORY OF MIND
THINKING; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Czy działania opierają się na reprezentacjach? Kognitywistyka a praktyka
Are Actions Founded on Representations? Cognitive Science and Practice
Autorzy:: Witold Płotka
Data publikacji:: 2012-06-29
Tematy:: computational theory of thinking
Fodor’s Representational Theory of Mind
neural networks; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Czy działania opierają się na reprezentacjach? Kognitywistyka a praktyka
Are Actions Founded on Representations? Cognitive Science and Practice
Autorzy:: Płotka, Witold
Data publikacji:: 2011
Wydawca:: Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
Tematy:: computational theory of thinking
Fodor’s Representational Theory of Mind
neural networks; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: AI Can Never Think: The Uniqueness of Human Thought
Autorzy:: Nehez Jason
Data publikacji:: 2020-09-30
Tematy:: AI
artificial intelligence
thought
mind
turing
materialism
functionalism
dualism
semiotics
computational theory; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: AI Can Never Think: The Uniqueness of Human Thought
Autorzy:: Nehez, Jason
Data publikacji:: 2020-09-30
Wydawca:: International Étienne Gilson Society
Tematy:: AI
artificial intelligence
thought
mind
turing
materialism
functionalism
dualism
semiotics
computational theory; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Explicit 4-descents on an elliptic curve
Autorzy:: Merriman, J.
Siksek, S.
Smart, N.
Data publikacji:: 1996
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:: elliptic curves
Computational Number Theory; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 11.

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

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

Tytuł:: Python for education : permutations
Autorzy:: Kapanowski, Andrzej
Data publikacji:: 2014
Słowa kluczowe:: permutations
computational group theory
permutation groups; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Komputacjonizm a materializm. Czy krytyka obliczeniowej teorii umysłu implikuje krytykę materialnej jego natury?
Does the critique of computational theory of mind imply the negation of its material nature?
Autorzy:: Dziczek S.P.
Tematy:: mozg
umysl
komputacjonizm
filozofia
materializm
emergentyzm; Pokaż więcej
Dostawca treści:: AGRO

Artykuł

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: Diagonal Anti-Mechanist Arguments
Autorzy:: David Kashtan
Data publikacji:: 2020
Tematy:: mechanism
mind
computability
incompleteness theorems
computational theory of mind
the cogito
diagonal arguments
Gödel
Descartes
Tarski
Turing
Chomsky; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: Transhumanizm a kognitywistyka
Transhumanism and Cognitive Science
Autorzy:: Robert POCZOBUT
Data publikacji:: 2015
Tematy:: kognitywistyka, transhumanizm, umysł poznanie, wzmocnienie poznawcze, obliczeniowa teoria umysłu
cognitive science, transhumanism, mind, cognition, cognitive enhancement, computational theory of mind; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: Czy istnieją czynności umysłu, których nie można reprezentować za pomocą maszyn Turinga?
Are there activities of the mind that cannot be represented by Turing machines?
Autorzy:: Marzena Fornal
Data publikacji:: 2023-09-11
Tematy:: komputacjonizm
obliczeniowa teoria umysłu
argument gödlowski
Roger Penrose
maszyna Turinga
Kurt Gödel
John Randolph Lucas
computationalism
computational theory of mind
Gödelian argument
Turing machine; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: Czy istnieją czynności umysłu, których nie można reprezentować za pomocą maszyn Turinga?
Are there activities of the mind that cannot be represented by Turing machines?
Autorzy:: Fornal, Marzena
Data publikacji:: 2023-09-11
Wydawca:: Akademia Humanistyczno-Ekonomiczna w Łodzi
Tematy:: komputacjonizm
obliczeniowa teoria umysłu
argument gödlowski
Roger Penrose
maszyna Turinga
Kurt Gödel
John Randolph Lucas
computationalism
computational theory of mind
Gödelian argument
Turing machine; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: Bounds for Validation
Autorzy:: Jaworski, W.
Data publikacji:: 2006
Słowa kluczowe:: computational learning theory
model assessment
hold-out-estimate
train-and-test
validation
Bernoulli sums; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: Lecture notes in computational chemistry : electronic structure theory
Autorzy:: Hutter, Jurg
Data publikacji:: 2005
Wydawca:: Physical Chemistry Institute, University of Zurich
Słowa kluczowe:: podręczniki
chemia obliczeniowa
chemia
materiały dydaktyczne; Pokaż więcej
Dostawca treści:: Jagiellońska Biblioteka Cyfrowa

na półce

Szczegóły

Skocz do pozycji: 21.

Tytuł:: A homology algorithm of cubical sets by an acyclic subset method
Algorytm liczenia homologii zbiorów kostkowych metodą podzbioru acyklicznego
Autorzy:: Piekart, Piotr
Słowa kluczowe:: topologia obliczeniowa, teoria homologii
computational topology, homology theory; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 22.

Tytuł:: Python implementation of selected algorithms and data structures - permutation group algorithms.
Implementacja wybranych algorytmów i struktur danych przy pomocy języka Python - algorytmy grup permutacji
Autorzy:: Gądek, Tomasz
Słowa kluczowe:: permutations, permutation groups, computational group theory, Schreier-Sims algorithm.
permutacje, grupy permutacji, obliczeniowa teoria grup, algorytm Schreiera-Simsa.; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 23.

Tytuł:: Model obliczeniowy motywacji oparty na zasadach teorii perspektywy
A computational model of a motivation based on tenets of the prospect theory
Autorzy:: Bielatowicz, Piotr
Słowa kluczowe:: teoria perspektywy, model obliczeniowy motywacji
prospect theory, computational model of a motivation; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 24.

Tytuł:: Simple algorithms of cryptography
Proste algorytmy kryptograficzne
Autorzy:: Kabat, Edyta
Słowa kluczowe:: kryptografia, RSA, DSA, podpis cyfrowy, ECDSA, krzywe eliptyczne, złożoność obliczeniowa
cryptography, RSA, DSA, digital signature, elliptic curves, computational complexity theory; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 25.

Tytuł:: Linear SVM for organizing data
Autorzy:: Jurczak, M.
Data publikacji:: 2006
Słowa kluczowe:: Support Vector Machine
kategoryzacja tekstu
sieć neuronowa
statystyczna teoria uczenia
support vector machine (SVM)
text categorization
neural network
computational learning theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 26.

Tytuł:: Knothe’s theory parameters - computational models and examples of practical applications
Autorzy:: Misa, Rafał
Data publikacji:: 2023
Słowa kluczowe:: Knothe's theory
salt cavern
surface uplifts
surface movement
post mining
teoria Knothego
kawerna solna
wypiętrzenie powierzchni terenu
przemieszczenia powierzchni
problemy pogórnicze; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 27.

Tytuł:: Exploring a reaction mechanism for acetato ligand replacement in paddlewheel tetrakisacetatodirhodium (II,II) complex by ammonia : computational density functional theory study
Autorzy:: Gu, Jiande
Mitoraj, Mariusz
Futera, Zdeněk
Srebro-Hooper, Monika
Leszczynski, Jerzy
Burda, Jaroslav V.
Koval, Tomáš
Data publikacji:: 2011
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 28.

Tytuł:: Analiza efektywności wybranych algorytmów teorii gier
Autorzy:: Raif, P.
Data publikacji:: 2006
Słowa kluczowe:: teoria gier
obliczeniowa teoria gier
efektywność
gra niekooperacyjna
równowaga Nasha
Simplical Subdivision
PolEnum
global Newton method
game theory
computational game theory
efficiency
noncooperative game
Nash equilibrium
Polymatrix Approximation Algorithm
Global Newton Method; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 29.

Tytuł:: Computerized Tomography Noise Reduction by CICT Optimized Exponential Cyclic Sequences (OECS) Co-domain
Autorzy:: Fiorini, R. A.
Data publikacji:: 2015
Słowa kluczowe:: computerized tomography
noise reduction
computational information conservation theory
modular arithmetic
biomedical cybernetics
biomedical engineering
geometric science of information
computational information geometry
public health; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 30.

Tytuł:: How Random is Your Tomographic Noise? A Number Theoretic Transform (NTT) Approach
Autorzy:: Fiorini, R. A.
Data publikacji:: 2014
Słowa kluczowe:: discrete tomography
computerized tomography
computational information conservation theory
denoising
modular arithmetic
number theoretic transform
biomedical cybernetics
biomedical engineering
HRO
public health
digital healthcare; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 31.

Tytuł:: Knothe’s theory parameters - computational models and examples of practical applications
Parametry teorii Knothego - modele obliczeniowe i przykłady praktycznego zastosowania
Autorzy:: Misa, Rafał
Data publikacji:: 2023
Wydawca:: Polska Akademia Nauk. Instytut Gospodarki Surowcami Mineralnymi i Energią PAN
Tematy:: Knothe's theory
salt cavern
surface uplifts
surface movement
post mining
teoria Knothego
kawerna solna
wypiętrzenie powierzchni terenu
przemieszczenia powierzchni
problemy pogórnicze; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 32.

Tytuł:: "Brain Diffusion Tractography and Network Science"
"Traktografia Dyfuzyjna Mózgu i Nauka o Sieciach"
Autorzy:: Rybiński, Adam
Słowa kluczowe:: brain networks, connectome, computational neuroanatomy, graph theory, diffusion MRI, tractography, visualizations, Python, open source software
sieci mózgowe, konektom, neuroanatomia obliczeniowa, teoria grafów, obrazowanie dyfuzyjne MR, traktografia, wizualizacje, Python, otwarte oprogramowanie; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 33.

Tytuł:: The Kummer confluent hypergeometric function and some of its applications in the theory of azimuthally magnetized circular ferrite waveguides
Autorzy:: Georgiev, G. N.
Georgieva-Grosse, M. N.
Data publikacji:: 2005
Słowa kluczowe:: microwave propagation in anisotropic media
microwave guides and components
ferrite phase shifters
switches
isolators
eigenvalue problems
function-theoretic and computational methods in electromagnetic theory
theoretical and numerical analysis of special functions; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 34.

Tytuł:: The Kummer confluent hypergeometric function and some of its applications in the theory of azimuthally magnetized circular ferrite waveguides
Autorzy:: Georgiev, G. N.
Georgieva-Grosse, M. N.
Data publikacji:: 2005
Wydawca:: Instytut Łączności - Państwowy Instytut Badawczy
Tematy:: microwave propagation in anisotropic media
microwave guides and components
ferrite phase shifters
switches
isolators
eigenvalue problems
function-theoretic and computational methods in electromagnetic theory
theoretical and numerical analysis of special functions; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 35.

Tytuł:: Rozkład Morsea Kombinatorycznego Układu Dynamicznego pochodzącego z Meteorologicznych Szeregów Czasowych
Morse Decomposition of a Combinatorial Dynamical System from Meteorological Time Series Data
Autorzy:: Przybycień, Filip
Słowa kluczowe:: topology, computational topology, Morse theory, Conley theory, Conley index, combinatorial dynamical systems, dynamical systems, combinatorial multivector fields, combinatorial dynamics, homology, meteorology
topologia, topologia obliczeniowa, teoria Morse'a, teoria Conley'a, index Conley'a, kombinatoryczne układy dynamiczne, układy dynamiczne, kombinatoryczne pola wielowektorowe, dynamika kombinatoryczna, homologia, meteorologia; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 36.

Tytuł:: Nofre-Tinti E1 and E4 Sweetener Subsites Activity on High Sweetness of Chlorodeoxy Derivatives of Sucrose and Galactosucrose
Autorzy:: Pietrzycki, W.
Data publikacji:: 2002
Słowa kluczowe:: E1 and E4 sweetener activity in chlorodeoxy sucrose derivatives
E1 and E4 sweetener activity in chlorodeoxy galactosucrose derivatives
QSAR computational model of Nofre-Tinti theory on sugar's high sweetness; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 37.

Tytuł:: Complexity Issues in Computational Biology
Autorzy:: Blazewicz, J.
Kasprzak, M.
Data publikacji:: 2012
Słowa kluczowe:: computational complexity
computational biology
graph theory
nondeterministic Turing machines
DNA computing; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 38.

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

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

Tytuł:: Adding Data Registers to Parameterized Networks with Broadcast
Autorzy:: Delzanno, G.
Sangnier, A.
Traverso, R.
Data publikacji:: 2016
Słowa kluczowe:: graph theory
machine theory
problem solving
computational complexity
register; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 41.

Tytuł:: Yurii Rogozhin’s Contributions to the Field of Small Universal Turing Machines
Autorzy:: Woods, D.
Neary, T.
Data publikacji:: 2015
Słowa kluczowe:: turing machines
set theory
number theory
computational complexity; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 42.

Tytuł:: A New Approach for the Reconstruction of Object-Based Images in Discrete Tomography
Autorzy:: Brocchi, S.
Data publikacji:: 2014
Słowa kluczowe:: image reconstruction
discrete tomography
ring theory
information theory
computational complexity
coordinates; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 43.

Tytuł:: Computational intelligence in marine control engineering education
Autorzy:: Lisowski, Józef
Data publikacji:: 2021
Słowa kluczowe:: ship control
marine engineering curriculum
computational intelligence
game theory
computer simulation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 44.

Tytuł:: Lattice kinetic theory as a form of supra-molecular dynamics for computational microfluidics
Autorzy:: Succi, S.
Benzi, R.
Biferale, L.
Sbragaglia, M.
Toschi, F.
Data publikacji:: 2007
Słowa kluczowe:: lattice kinetic theory
supramolecular dynamics
computational microfluidics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 45.

Tytuł:: Interfacing language, spatial perception and cognition in Type Theory with Records
Autorzy:: Dobnik, S.
Cooper, R.
Data publikacji:: 2017
Słowa kluczowe:: spatial language
TTR
Type Theory with Records
computational framework; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 46.

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

Tytuł:: Computational intelligence in marine control engineering education
Autorzy:: Lisowski, Józef
Data publikacji:: 2021
Wydawca:: Politechnika Gdańska. Wydział Inżynierii Mechanicznej i Okrętownictwa
Tematy:: ship control
marine engineering curriculum
computational intelligence
game theory
computer simulation; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 48.

Tytuł:: Variants of Small Universal P Systems with Catalysts
Autorzy:: Alhazov, A.
Freund, R.
Data publikacji:: 2015
Słowa kluczowe:: computational complexity
completeness theorem
catalysts
machine theory
problem solving; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 49.

Tytuł:: Complexity of the inversion algorithm of polynomial mappings
Autorzy:: Bogdan, Paweł
Data publikacji:: 2016
Słowa kluczowe:: polynomial automorphism
computer algebra system
differential Galois theory
computational complexity; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 50.

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

Tytuł:: Brief review of tasks and results of programm of creation of unified geometrical theory of control (UGTC)
Autorzy:: Butkovskiy, A. G.
Babichev, A. V.
Data publikacji:: 2004
Słowa kluczowe:: set theory
partial differential equations
computational geometry
control system synthesis
axiomatic control theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 52.

Tytuł:: Computational methods for Volterra - Fredholm integral equations
Autorzy:: Hącia, L.
Data publikacji:: 2002
Słowa kluczowe:: integral equations
Volterra-Fredholm integral equations
heat conduction theory
diffusion theory
electromagnetism
nonlinear counterparts
projection method
epidemic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 53.

Tytuł:: Complexity of the Inversion Algorithm of Polynomial Mappings
Autorzy:: Bogdan, P.
Data publikacji:: 2016
Słowa kluczowe:: polynomial automorphism
differential Galois theory
computational complexity
computer algebra system; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 54.

Tytuł:: An Exact Two-Phase Method For Optimal Camera Placement In Art Gallery Problem
Autorzy:: Alihodzic, Adis
Delalic, Sead
Hasic, Damir
Data publikacji:: 2020
Słowa kluczowe:: approximation theory
computational complexity
computational geometry
optimisation
teoria aproksymacji
złożoność obliczeniowa
geometria obliczeniowa
optymalizacja; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 55.

Tytuł:: Ergodic theory approach to chaos : remarks and computational aspects
Autorzy:: Mitkowski, Paweł
Współwytwórcy:: Mitkowski, Wojciech (1946- )
Data publikacji:: 2012
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 56.

Tytuł:: Lattice kinetic theory as a form of supra-molecular dynamics for computational microfluidics
Data publikacji:: 2007
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 57.

Tytuł:: On The Complexity of Counter Reachability Games
Autorzy:: Reichert, J.
Data publikacji:: 2016
Słowa kluczowe:: computational complexity
game theory
semantic web
NP-complete problems
decision making
problem solving; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 58.

Tytuł:: Combinatorial Etude
Autorzy:: Stoenchev, Miroslav
Todorov, Venelin
Data publikacji:: 2021
Słowa kluczowe:: arithmetic
combinatorial mathematics
computational complexity
functional analysis
graph theory
number theory
sequences
set theory
arytmetyka
matematyka kombinatoryczna
złożoność obliczeniowa
analiza funkcjonalna
teoria grafów
teoria liczb
sekwencje
teoria mnogości; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 59.

Tytuł:: Multiprocessor Scheduling Problem with Release and Delivery Times
Autorzy:: Grigoreva, Natalia
Data publikacji:: 2020
Słowa kluczowe:: approximation theory
computational complexity
optimisation
scheduling
teoria aproksymacji
złożoność obliczeniowa
optymalizacja
planowanie; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 60.

Tytuł:: Computational complexity of problems of combinatorics and graph theory
Autorzy:: Sysło, M. M.
Data publikacji:: 1980
Wydawca:: Polskie Towarzystwo Matematyczne
Tematy:: Computational complexity and efficiency of algorithms
Exact categories, abelian categories
Network models, deterministic
Integer programming; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 61.

Tytuł:: It is Undecidable if Two Regular Tree Languages can be Separated by a Deterministic Tree-walking Automaton
Autorzy:: Bojańczyk, M.
Data publikacji:: 2017
Słowa kluczowe:: machine theory
algorithms
computational geometry
Boolean functions
natural numbers; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 62.

Tytuł:: Response of Thermoelastic Beam due to Thermal Source in Modified Couple Stress Theory
Autorzy:: Rajneesh, K.
Data publikacji:: 2016
Słowa kluczowe:: classical coupled theory
modified couple stress theory
thermoelastic beam; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 63.

Tytuł:: Modeling computational studies of modified drug molecules binding to the LRRK2 protein in the treatment of Parkinson’s disease
Autorzy:: Shah, H.
Darsey, J. A.
Data publikacji:: 2018
Słowa kluczowe:: LRRK2 proteins
Parkinson
Computational Modeling
IC50
Density Functional Theory
DFT; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 64.

Tytuł:: An affine Gaussian process approach for nonlinear system identification
Autorzy:: Gregorcic, G.
Lightbody, G.
Data publikacji:: 2003
Słowa kluczowe:: computational methods
neural networks
fuzzy sets
probability
regression analysis
approximation theory
optimization
computer simulation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 65.

Tytuł:: Trim Optimisation - Theory and Practice
Autorzy:: Reichel, M.
Minchev, A.
Larsen, N. L.
Data publikacji:: 2014
Słowa kluczowe:: Trim, Trim Optimisation
Ship Stability
Trimmed Conditions
SeaTrim® Software
computational fluid dynamics CFD
Theory
Practice; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 66.

Tytuł:: Interfacing language, spatial perception and cognition in Type Theory with Records
Autorzy:: Dobnik, S.
Cooper, R.
Data publikacji:: 2017
Wydawca:: Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
Tematy:: spatial language
TTR
Type Theory with Records
computational framework; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 67.

Tytuł:: A chance-constraint approach for optimizing Social Engagement-based services
Autorzy:: Bierlaire, Michel
Fadda, Edoardo
Fotio Tiotsop, Lohic
Manerba, Daniele
Data publikacji:: 2022
Słowa kluczowe:: computer science
cost
utility theory
computational modeling
company
computational efficiency
behavioral science
informatyka
koszt
teoria użyteczności
modelowanie obliczeniowe
firma
wydajność obliczeniowa
behawior; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 68.

Tytuł:: Using place invariants to isolate faults in concurrent systems
Autorzy:: Tabakow, I.
Data publikacji:: 2003
Słowa kluczowe:: concurrency control
Petri nets
invariance
matrix algebra
computational complexity
functions
set theory
Boolean algebra
probability
algorithms; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 69.

Tytuł:: 7x ± 1 : Close Relative of the Collatz Problem
Autorzy:: Barina, David
Data publikacji:: 2022
Słowa kluczowe:: number theory
Collatz problem; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 70.

Tytuł:: Equivalence constraint satisfaction problems
Autorzy:: Wrona, Michał
Bodirsky, Manuel
Data publikacji:: 2012
Wydawca:: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Słowa kluczowe:: computational complexity
temporal reasoning
model theory
universal algebra
constraint satisfaction problems; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 71.

Tytuł:: Ergodic theory approach to chaos: remarks and computational aspects
Autorzy:: Mitkowski, P. J.
Mitkowski, W.
Data publikacji:: 2012
Wydawca:: Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:: twierdzenie ergodyczne
chaos
miara niezmiennicza
ergodic theory
invariant measures
attractors
delay differential equations; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 72.

Tytuł:: Trim Optimisation - Theory and Practice
Autorzy:: Reichel, M.
Minchev, A.
Larsen, N. L.
Data publikacji:: 2014
Wydawca:: Uniwersytet Morski w Gdyni. Wydział Nawigacyjny
Tematy:: Trim, Trim Optimisation
Ship Stability
Trimmed Conditions
SeaTrim® Software
computational fluid dynamics (CFD)
Theory
Practice; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 73.

Tytuł:: Aeroacoustic analysis based on FW–H analogy to predict low-frequency in-plane harmonic noise of a helicopter rotor in hover
Autorzy:: Suresh, T.
Szulc, O.
Flaszynski, P.
Data publikacji:: 2022
Słowa kluczowe:: Lighthill’s analogy
Farassat’s formulation
blade element momentum theory
computational aeroacoustics
computational fluid dynamics
thickness noise
monopole
loading noise
dipole; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 74.

Tytuł:: On the link between DNA sequencing and graph theory
Autorzy:: Kasprzak, M.
Data publikacji:: 2004
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 75.

Tytuł:: Twelve Years of QBF Evaluations : QSAT Is PSPACE-Hard and It Shows
Autorzy:: Marin, P.
Pulina, L.
Giunchiglia, E.
Narizzano, M.
Tacchella, A.
Data publikacji:: 2016
Słowa kluczowe:: computer algorithms
computational complexity
problem solving
mathematical formulas
machine theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 76.

Tytuł:: Analytical Representations of Divisors of Integers
Autorzy:: Maślanka, K.
Data publikacji:: 2017
Słowa kluczowe:: number theory
factorization
primality
one-variable calculus; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 77.

Tytuł:: Proof Compression and NP Versus PSPACE II: Addendum
Autorzy:: Gordeev, Lew
Haeusler, Edward Hermann
Data publikacji:: 2022-01-07
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: graph theory
natural deduction
computational complexity; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 78.

Tytuł:: DFT study of the mechanism of manganese quercetin 2,3-dioxygenase : quest for origins of enzyme unique nitroxygenase activity and regioselectivity
Autorzy:: Wojdyła, Zuzanna
Borowski, Tomasz
Data publikacji:: 2016
Słowa kluczowe:: transition state
quercetin
nitric oxide
density functional theory
computational chemistry; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 79.

Tytuł:: Application of the Routh Method in Computer Simulation of Selected Problems in Collision Theory
Autorzy:: Sypniewska-Kamińska, G.
Rosiński, Ł.
Data publikacji:: 2008
Słowa kluczowe:: Routh method
computer simulation
collision theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 80.

Tytuł:: Advances in Theory and Simulation of Non-equilibrium Systems : foreword
Autorzy:: Travis, K.
Bresme, F.
Data publikacji:: 2017
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 81.

Tytuł:: Conceptual Optimization of a Generalized Net Model of a Queuing System
Autorzy:: Andonov, Velin
Poryazov, Stoyan
Saranova, Emiliya
Data publikacji:: 2020
Słowa kluczowe:: computational complexity
optimisation
Petri nets
queueing theory
złożoność obliczeniowa
optymalizacja
sieci Petriego
teoria kolejek; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 82.

Tytuł:: Structure of Small Platinum Clusters Revised
Autorzy:: Winczewski, S.
Rybicki, J.
Data publikacji:: 2011
Słowa kluczowe:: nanoparticles
Pt clusters
density functional theory
catalysis
genetic algorithms; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 83.

Tytuł:: Applications of rough sets theory in control of foundry processes
Autorzy:: Perzyk, M.
Soroczyński, A.
Kozlowski, J.
Data publikacji:: 2010
Słowa kluczowe:: odlewnictwo
sterowanie
inteligencja obliczeniowa
teoria zbiorów przybliżonych
drzewo decyzyjne
foundry production
process control
computational intelligence
rough sets theory
decision tree; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 84.

Tytuł:: Modeling computational studies of modified drug molecules binding to the LRRK2 protein in the treatment of Parkinson’s disease
Autorzy:: Shah, H.
Darsey, J. A.
Data publikacji:: 2018
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Polskie Towarzystwo Biominerałów
Tematy:: LRRK2 proteins
Parkinson
Computational Modeling
IC50
Density Functional Theory
DFT; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 85.

Tytuł:: Myślenie komputacyjne na tle teorii umysłu a dydaktyczne strategie jego rozwijania
Computational thinking on the background of the theory of mind and didactic strategies of its development
Autorzy:: Męczkowska-Christiansen, Astrid
Charuta-Kojkoł, Janetta
Zacniewska, Joanna
Data publikacji:: 2021-12-18
Wydawca:: Akademia Marynarki Wojennej. Wydział Nauk Humanistycznych i Społecznych
Tematy:: computational thinking CT
didactic contexts
conceptualization
theory of mind and cognitive processes
myślenie komputacyjne CT
dydaktyczne konteksty
konceptualizacja
teoria umysłu i procesów poznawczych; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 86.

Tytuł:: Myślenie komputacyjne na tle teorii umysłu a dydaktyczne strategie jego rozwijania
Computational thinking on the background of the theory of mind and didactic strategies of its development
Autorzy:: Astrid Męczkowska-Christiansen
Janetta Charuta-Kojkoł
Joanna Zacniewska
Data publikacji:: 2021-12-18
Tematy:: computational thinking CT
didactic contexts
conceptualization
theory of mind and cognitive processes
myślenie komputacyjne CT
dydaktyczne konteksty
konceptualizacja
teoria umysłu i procesów poznawczych; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 87.

Tytuł:: Informatyka na morzu : zastosowanie fuzji danych w procesie identyfikacji obiektów morskich
Autorzy:: Neumann, T.
Data publikacji:: 2008
Słowa kluczowe:: informatyka
inteligencja obliczeniowa
fuzja danych
identyfikacja obiektów
teoria Dempstera-Shafera
computer science
computational inteligence
data fusion
object identification
Dempster-Shafer theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 88.

Tytuł:: CONCURRENT MULTITASKING: A DESIRABLE SKILL, A BAD HABIT, OR JUST AN ILLUSION?
A figyelem megosztása: kívánatos képesség, rossz szokás vagy csak illúzió?
Autorzy:: Köles Máté
Tematy:: multitasking
psychological refrakter period
bottleneck theory
capacity sharing theory
computational models; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 89.

Tytuł:: Analysis of the efficiency of graph coloring algorithms
Autorzy:: Kubale, Marek
Data publikacji:: 1982
Wydawca:: Polskie Towarzystwo Matematyczne
Tematy:: Computational complexity and efficiency of algorithms
Coloring of graphs and hypergraphs
Graph theory; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 90.

Tytuł:: MD-jeep: a New Release for Discretizable Distance Geometry Problems with Interval Data
Autorzy:: Mucherino, Antonio
Gonçalves, Douglas S.
Liberti, Leo
Lin, Jung-Hsin
Lavor, Carlile
Maculan, Nelson
Data publikacji:: 2020
Słowa kluczowe:: computational geometry
graph theory
software tools
geometria obliczeniowa
teoria grafów
narzędzia programowe; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 91.

Tytuł:: A fast and simple algorithm for computing m-shortest paths in stage graph
Autorzy:: Sherwood, M.
Gewali, L.
Selvaraj, H.
Muthukumar, V.
Data publikacji:: 2004
Słowa kluczowe:: teoria grafów
złożoność obliczeniowa
graph theory
computational complexity
mobile robots
legged trajectories
aerial vehicles
polynomial time algorithm; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 92.

Tytuł:: Computational modelling of concrete behaviour under static and dynamic conditions
Autorzy:: Marzec, I.
Tejchman, J.
Data publikacji:: 2013
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: concrete
damage mechanics
dynamic loading
elasto-plasticity
non-local theory
viscosity; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 93.

Tytuł:: The Bulgarian National Corpus : Theory and Practice in Corpus Design
Autorzy:: Koeva, S.
Stoyanova, I.
Leseva, S.
Dimitrova, T.
Dekova, R.
Tarpomanova, E.
Data publikacji:: 2012
Słowa kluczowe:: corpus design
Bulgarian National Corpus
computational linguistics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 94.

Tytuł:: Computational study of polynomial automorphisms
Obliczeniowe badania automorfizmów wielomianowych
Autorzy:: Bogdan, Paweł
Współwytwórcy:: Hajto, Zbigniew
Data publikacji:: 2017-10-13
Słowa kluczowe:: Jacobian Conjecture
różniczkowa teoria Galois
automorfizmy wielomianowe
differential Galois theory
hipoteza jakobianowa
polynomial automorphisms
algebra obliczeniowa
computational algebra; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Książka

na półce

Szczegóły

Skocz do pozycji: 95.

Tytuł:: Universality and Computational Completeness of Controlled Leftist Insertion-Deletion Systems
Autorzy:: Ivanov, S.
Verlan, S.
Data publikacji:: 2017
Słowa kluczowe:: graph theory
binary system
quotient rule
messenger RNA
RNA editing; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 96.

Tytuł:: Teoria badań operacyjnych jako narzędzie zarządzania optymalizacyjnego
Autorzy:: Ficoń, K.
Krasnodębski, G.
Data publikacji:: 2014
Słowa kluczowe:: badania operacyjne
teoria
metody
zarządzanie optymalizacyjne
programowanie liniowe
programowanie nieliniowe
programowanie heurystyczne
programowanie dynamiczne
programowanie stochastyczne
programowanie sieciowe
teoria grafów
teoria gier
teoria masowej obsługi
inteligencja obliczeniowa
operational research
theory
methods
management optimization
linear programming
nonlinear programming
heuristic programming
dynamic programming
stochastic programming
network programming
graph theory
game theory
theory of mass service
computational intelligence; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 97.

Tytuł:: Increasing the stability of linear r12-calculations on the multi - reference level of theory
Autorzy:: Cardoen, W.
Gdanitz, R. J.
Data publikacji:: 2003
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 98.

Tytuł:: Ergodic theory approach to chaos: remarks and computational aspects
Autorzy:: Mitkowski, P. J.
Mitkowski, W.
Data publikacji:: 2012
Słowa kluczowe:: twierdzenie ergodyczne
chaos
miara niezmiennicza
ergodic theory
invariant measures
attractors
delay differential equations; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 99.

Tytuł:: The Theory of Thermoelasticity with Double Porosity and Microtemperatures
Autorzy:: Kansal, Tarun
Data publikacji:: 2022
Słowa kluczowe:: thermoelasticity
double porosity
steady oscillations; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 100.

Tytuł:: Maximum Semi-Matching Problem in Bipartite Graphs
Autorzy:: Katrenič, Ján
Semanišin, Gabriel
Data publikacji:: 2013-07-01
Wydawca:: Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:: semi-matching
quasi-matching
bipartite graph
computational complexity; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Informacja

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